Ebook: The Concurrency Control Problem for Database Systems

---

Content:
Front Matter....Pages -
Introduction....Pages 1-17
Database systems....Pages 18-33
General purpose schedulers....Pages 33-36
Logs....Pages 37-40
Correctness criteria for general purpose schedulers....Pages 41-56
Constructing general purpose schedulers....Pages 57-66
Conflict-preserving schedulers....Pages 67-82
Database description....Pages 83-97
Database manipulation....Pages 98-108
Concurrent dynamic logic....Pages 109-118
Correctness of transaction systems....Pages 119-166
Conclusions and directions for future work....Pages 167-169
Back Matter....Pages -

---

Content:
Front Matter....Pages -
Introduction....Pages 1-17
Database systems....Pages 18-33
General purpose schedulers....Pages 33-36
Logs....Pages 37-40
Correctness criteria for general purpose schedulers....Pages 41-56
Constructing general purpose schedulers....Pages 57-66
Conflict-preserving schedulers....Pages 67-82
Database description....Pages 83-97
Database manipulation....Pages 98-108
Concurrent dynamic logic....Pages 109-118
Correctness of transaction systems....Pages 119-166
Conclusions and directions for future work....Pages 167-169
Back Matter....Pages -
....