Distributed databases principles and systems
Distributed databases principles and systems
Integrated concurrency control and recovery mechanisms: design and performance evaluation
ACM Transactions on Database Systems (TODS)
A distributed scheme for detecting communication deadlocks
IEEE Transactions on Software Engineering
A Message-Based Approach to Discrete-Event Simulation
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Concurrent Certifications by Intervals of Timestamps in Distributed Database Systems
IEEE Transactions on Software Engineering
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Recovery Techniques for Database Systems
ACM Computing Surveys (CSUR)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Comments on “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
Output Guards and Nondeterminism in “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Effective Implementation for the Generalized Input-Output Construct of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing atomic actions on decentralized data
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Concurrency control algorithms for multiversion database systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
A multi-version concurrency scheme with no rollbacks
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Adaptive concurrency control for distributed database systems (performance evaluation, resiliency, parameters, management, systems)
| Hi-index | 0.00 |
Concurrency control is one of the major issues in database systems; therefore, many concurrency control algorithms based on different strategies have been proposed. Unfortunately there is still lack of a general model for describing these algorithms. Hence, algorithms cannot be uniformly presented, which makes it hard to understand them and to prove their correctness. This paper proposes a high level specification, based on an object-oriented model, of concurrency control algorithms. Concurrency control algorithms are specified in a high level fashion without losing their formality. Basing on the object-oriented model, objects are individually specified. Therefore, the specification of a concurrency control algorithm consists of the specifications of objects and their interactions.