TY - BOOK AU - Casanova,Marco Antonio ED - SpringerLink (Online service) TI - The Concurrency Control Problem for Database Systems T2 - Lecture Notes in Computer Science, SN - 9783540387473 AV - QA75.5-76.95 U1 - 005.743 23 PY - 1981/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Science KW - Models and Principles N1 - 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 UR - http://dx.doi.org/10.1007/3-540-10845-9 ER -