The concurrency control problem for database systems

MaRDI QIDQ790627zbMATH OpenFDO

Authors Marco A. Casanova

Publication date 1981

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

data manipulation languagedatabase access synchronizationdatabase concurrencyFirst Order Dynamic LogicschedulingSynchronization anomaliesupdate-intensive transaction systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Data structures (68P05) Information storage and retrieval of data (68P20)

Review text

Synchronization anomalies in database systems and their avoidance techniques are discussed in the book. Two different broad scenarios are considered. The first one deals with general purpose database systems supporting any transaction mix accessing any database. Solutions are given by schedulers having arbitrary access to the database. These scheduling algorithms, however, are fundamentally different from those known from classical scheduling theory and even from the case of operating systems. The main difference is that transactions cannot be scheduled in advance, but rather become known as the scheduling evolves. The second part of the book deals with update-intensive transaction systems characterized by a known set of transactions accessing a fixed database. Solutions are given by tools and techniques to describe synchronization strategies, state their correctness criteria and verify their adequacy. Its basic vehicle is a data manipulation language extending First Order Dynamic Logic.

Recommendations

• scientific article; zbMATH DE number 3986679
• scientific article; zbMATH DE number 3995093
• scientific article; zbMATH DE number 810814
• Problems in transaction concurrency control algorithms
• scientific article; zbMATH DE number 192866

Cited in

(13)

• A cautious scheduler for multistep transactions
• On-line multiversion database concurrency control
• An overview of transaction logic
• Static and dynamic aspects of goal-oriented concurrency control
• scientific article; zbMATH DE number 3986679 (Why is no real title available?)
• scientific article; zbMATH DE number 3986680 (Why is no real title available?)
• scientific article; zbMATH DE number 2006515 (Why is no real title available?)
• scientific article; zbMATH DE number 3995093 (Why is no real title available?)
• Incorporating the Majority Consensus Concurrency Control Mechanism into the Database Allocation Problem
• scientific article; zbMATH DE number 937816 (Why is no real title available?)
• Problems in transaction concurrency control algorithms
• Context-specific synchronization for atomic data types in object-based databases
• Multi-version concurrency control scheme for a database system

This page was built for publication: The concurrency control problem for database systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790627)