The Concurrency Control Problem for Database Systems: v. 116 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
By Egidio AstesianoDatabase systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database description.- Database manipulation.- Concurrent dynamic logic.- Correctness of transaction systems.- Conclusions and directions for future work. Database systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database description.- Database manipulation.- Concurrent dynamic logic.- Correctness of transaction systems.- Conclusions and
$15.00$32.00
PayPal & cryptocurrencyGuest checkout available
BETWEEN THE COVERS
About this book
Database systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database description.- Database manipulation.- Concurrent dynamic logic.- Correctness of transaction systems.- Conclusions and directions for future work. Database systems.- General purpose schedulers.- Logs.- Correctness criteria for general purpose schedulers.- Constructing general purpose schedulers.- Conflict-preserving schedulers.- Database description.- Database manipulation.- Concurrent dynamic logic.- Correctness of transaction systems.- Conclusions and directions for future work.
More to discover
Explore the shelf →Computer Science
Graphische Datenverarbeitung (Springers Angewandte Informatik)
S. Rinaldi$10.00$31.00
Computer Science
Mikroelektronik in sterreich: Berichte Der Informationstagung Me 85
S. Rinaldi$8.00$87.00
Computer Science
Programmentwicklung Und Verifikation (Springers Angewandte Informatik,)
S. Rinaldi$9.00$101.00