zbMATH — the first resource for mathematics

The theory of database concurrency control. (English) Zbl 0609.68073
Principles of Computer Science Series. Rockville, Maryland: Computer Science Press. XI, 239 p. $ 39.75 (1986).
Concurrency control is the problem of synchronizing accesses of many users to the same database so as to avoid inconsistencies. The book explains, analyzes and compares the known techniques for concurrency control in a uniform framework. It examines in detail the various aspects of correctness for concurrent executions, including serializability, deadlocks, and reliability. It presents a unifying theory, based on graph theory, that has been developed for characterizing all possible strategies, and for studying the limitations of various techniques such as multiple versions and locking. The extensions of this theory to distributed databases are also discussed.
Reviewer: P.Eckhardt

68P20 Information storage and retrieval of data
68N25 Theory of operating systems
68-02 Research exposition (monographs, survey articles) pertaining to computer science