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.
![The Concurrency Control Problem for Database Systems [Paperback]](/itemImage/2/1/2/2/2_938729.jpg "The Concurrency Control Problem for Database Systems [Paperback]")