Formal Aspects of Serializability in Database Concurrency Control
From MaRDI portal
Publication:4179819
DOI10.1109/TSE.1979.234182zbMath0396.68020MaRDI QIDQ4179819
Wing Shing Wong, Philip A. Bernstein, David W. Shipman
Publication date: 1979
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Related Items (12)
Serializability theory for replicated databases ⋮ A proof technique for concurrency control and recovery algorithms for replicated databases ⋮ Last-use opacity: a strong safety property for transactional memory with prerelease support ⋮ A cautious scheduler for multistep transactions ⋮ The complexity of strict serializability revisited ⋮ Relative serializability: An approach for relaxing the atomicity of transactions ⋮ Serializable graphs ⋮ Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations) ⋮ Performance comparison of database concurrency control mechanisms based on two-phase locking, timestamping, and mixed approach ⋮ Context-specific synchronization for atomic data types in object-based databases ⋮ Multi-version concurrency control scheme for a database system ⋮ Global serializability of concurrent programs
This page was built for publication: Formal Aspects of Serializability in Database Concurrency Control
