scientific article; zbMATH DE number 3986679

MaRDI QIDQ3750150zbMATH OpenFDO

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)

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

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)