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.
Produkteigenschaften
- Artikelnummer: 9783540108450
- Medium: Buch
- ISBN: 978-3-540-10845-0
- Verlag: Springer
- Erscheinungstermin: 01.07.1981
- Sprache(n): Englisch
- Auflage: 1. Auflage 1981
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert, Paperback
- Gewicht: 295 g
- Seiten: 177
- Format (B x H x T): 155 x 235 x 11 mm
- Ausgabetyp: Kein, Unbekannt
