M. A. Casanova

The Concurrency Control Problem for Database Systems

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 116
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-10845-0
• 1981
• Seitenzahl: 188
• Erscheinungstermin: 1. Juli 1981
• Englisch
• Abmessung: 235mm x 155mm x 11mm
• Gewicht: 298g
• ISBN-13: 9783540108450
• ISBN-10: 3540108459
• Artikelnr.: 09231233

Inhaltsangabe

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.