scientific article
From MaRDI portal
Publication:3750150
zbMath0609.68073MaRDI QIDQ3750150
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Information storage and retrieval of data (68P20) Theory of operating systems (68N25)
Related Items
On the serializability theorem for nested transactions, A biography of Marvin Marcus, Constraint-preserving snapshot isolation, Efficient algorithms for checking the atomicity of a run of read and write operations, On the complexity of concurrency control using semantic information, Relative serializability: An approach for relaxing the atomicity of transactions, Deleting completed transactions, Unifying concurrency control and recovery of transactions with semantically rich operations, Confluence of processes and systems of objects, On projective and separable properties, Robustness against Read Committed for Transaction Templates with Functional Constraints, Dynamic Reductions for Model Checking Concurrent Software, From non-preemptive to preemptive scheduling using synchronization synthesis, On deadlocks of exclusive AND-requests for resources, Compact and localized distributed data structures, Transaction synchronisation in object bases, A graph transformation algorithm for concurrency control in a partitioned database, Locking based on a pairwise decomposition of the transaction system, A multiversion cautious scheduler with dynamic serialization constraints for database concurrency control, On the expressiveness of higher dimensional automata, Algorithmic aspects of multiversion concurrency control, On mobile transaction processing in dynamically configurable mobile database communities, The Complexity of Predicting Atomicity Violations, Replication and consistency in a distributed environment, On correctness on nonserializable executions, Commutativity-based locking for nested transactions, A conservative multiversion locking-graph scheduler algorithm, Partial confluence of processes and systems of objects, Safe locking policies for dynamic databases, Concurrency control by transactions carrying states and preordering multiversioned entities, A comparison of structural CSP decomposition methods, Global lock escalation in database management systems., Model-checking of correctness conditions for concurrent objects, Distributed management of transactions in heterogeneous distributed database systems, Performance considerations on a random graph model for parallel processing
