Commutativity-based locking for nested transactions

DOI10.1016/0022-0000(90)90034-IzbMATH Open0716.68028MaRDI QIDQ753480FDOQ753480

Authors: Alan Fekete, Michael Merritt, Nancy Lynch, William E. Weihl 

Publication date: 1990

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Recommendations

• A model for concurrency in nested transactions systems
• Introduction to the theory of nested transactions
• Hybrid concurrency control for abstract data types
• Transaction synchronisation in object bases
• Hybrid atomicity for nested transactions

zbMATH Keywords

concurrency controlnested transactionstransaction-processing algorithms

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Database theory (68P15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The serializability of concurrent database updates
• The notions of consistency and predicate locks in a database system
• A theory of reliability in database systems
• A model for concurrency in nested transactions systems
• Concurrency of operations on B-trees
• Multiversion concurrency control—theory and algorithms
• On Concurrency Control by Multiple Versions
• Commutativity-based concurrency control for abstract data types
• Necessary and sufficient conditions for R-graph synthesis
• Locking Primitives in a Database System
• The impact of recovery on concurrency control
• Serializability by Locking

Cited In (14)

• Virtual partition algorithm in a nested transaction environment and its correctness
• Hybrid concurrency control for abstract data types
• Commutativity-based concurrency control for abstract data types
• Multi-granularity locking for nested transactions: A proof using a possibilities mapping
• Title not available (Why is that?)
• Security correctness for secure nested transactions (extended abstract)
• Compatibility and commutativity of lock modes
• Transaction synchronisation in object bases
• Introduction to the theory of nested transactions
• Title not available (Why is that?)
• A model for concurrency in nested transactions systems
• A reliable nested transaction model with extension of real-time characteristics
• Transactional Lock Elision Meets Combining
• Hybrid atomicity for nested transactions

This page was built for publication: Commutativity-based locking for nested transactions

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