scientific article; zbMATH DE number 3986679
From MaRDI portal
Publication:3750150
zbMATH Open0609.68073MaRDI QIDQ3750150FDOQ3750150
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Information storage and retrieval of data (68P20) Theory of operating systems (68N25)
Cited In (41)
- Global lock escalation in database management systems.
- Robustness against Read Committed for Transaction Templates with Functional Constraints
- Unifying concurrency control and recovery of transactions with semantically rich operations
- A proof technique for concurrency control and recovery algorithms for replicated databases
- On correctness on nonserializable executions
- Compact and localized distributed data structures
- On the serializability theorem for nested transactions
- Title not available (Why is that?)
- Safe locking policies for dynamic databases
- Confluence of processes and systems of objects
- Constraint-preserving snapshot isolation
- 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
- Algorithmic aspects of multiversion concurrency control
- Partial confluence of processes and systems of objects
- On deadlocks of exclusive AND-requests for resources
- A comparison of structural CSP decomposition methods
- On projective and separable properties
- 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
- Dynamic Reductions for Model Checking Concurrent Software
- 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
- Title not available (Why is that?)
- The Complexity of Predicting Atomicity Violations
- Title not available (Why is that?)
- 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)
