The Concurrency Control Problem for Database Systems [electronic resource] /
edited by Marco Antonio Casanova.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1981.
- VII, 177 p. online resource.
- Lecture Notes in Computer Science, 116 0302-9743 ; .
- Lecture Notes in Computer Science, 116 .
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.
9783540387473
10.1007/3-540-10845-9 doi
Computer science.
Computer Science.
Models and Principles.
QA75.5-76.95
005.743
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.
9783540387473
10.1007/3-540-10845-9 doi
Computer science.
Computer Science.
Models and Principles.
QA75.5-76.95
005.743