scientific article; zbMATH DE number 3986679

zbMATH Open0609.68073MaRDI QIDQ3750150FDOQ3750150

Authors Christos Papadimitriou

Publication date 1986

zbMATH Keywords

reliabilityconcurrency controlserializabilitydistributed databasesdeadlocksschedulers

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3995093
• The concurrency control problem for database systems
• Multiversion concurrency control—theory and algorithms
• A theory of reliability in database systems
• scientific article; zbMATH DE number 810814

Cited in

(41)

• The concurrency control problem for database systems
• Partial confluence of processes and systems of objects
• Locking based on a pairwise decomposition of the transaction system
• On correctness on nonserializable executions
• A multiversion cautious scheduler with dynamic serialization constraints for database concurrency control
• Confluence of processes and systems of objects
• Algorithmic aspects of multiversion concurrency control
• A biography of Marvin Marcus
• The Complexity of Predicting Atomicity Violations
• Relative serializability: An approach for relaxing the atomicity of transactions
• Constraint-preserving snapshot isolation
• On deadlocks of exclusive AND-requests for resources
• Model-checking of correctness conditions for concurrent objects
• Compact and localized distributed data structures
• scientific article; zbMATH DE number 3995093 (Why is no real title available?)
• A conservative multiversion locking-graph scheduler algorithm
• From non-preemptive to preemptive scheduling using synchronization synthesis
• Global lock escalation in database management systems.
• On the serializability theorem for nested transactions
• scientific article; zbMATH DE number 62655 (Why is no real title available?)
• Multiversion concurrency control—theory and algorithms
• Distributed management of transactions in heterogeneous distributed database systems
• A comparison of structural CSP decomposition methods
• Deleting completed transactions
• Efficient algorithms for checking the atomicity of a run of read and write operations
• On the complexity of concurrency control using semantic information
• Concurrency control by transactions carrying states and preordering multiversioned entities
• Transaction synchronisation in object bases
• A graph transformation algorithm for concurrency control in a partitioned database
• On projective and separable properties
• On mobile transaction processing in dynamically configurable mobile database communities
• Dynamic reductions for model checking concurrent software
• A proof technique for concurrency control and recovery algorithms for replicated databases
• Robustness against Read Committed for Transaction Templates with Functional Constraints
• scientific article; zbMATH DE number 3986680 (Why is no real title available?)
• On the expressiveness of higher dimensional automata
• Replication and consistency in a distributed environment
• Performance considerations on a random graph model for parallel processing
• Unifying concurrency control and recovery of transactions with semantically rich operations
• Safe locking policies for dynamic databases
• Commutativity-based locking for nested transactions

This page was built for publication:

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