Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Munin: distributed shared memory based on type-specific memory coherence
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Towards a unified theory of concurrency control and recovery
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Causality Based Proof of a Distributed Shared Memory System
Parallel Computer Architectures: Theory, Hardware, Software, Applications
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
IEEE Transactions on Computers
A New Solution to Coherence Problems in Multicache Systems
IEEE Transactions on Computers
| Hi-index | 0.01 |
Transaction management comprises different aspects such as concurrency control, recovery control, and replication control. Usually, only one or at least two of these aspects are considered in theories of transaction management--the other aspects are ignored. In this paper, we propose a model of executions that allows to capture all three aspects of transaction management. Based on this execution model, we present a definition of serializability. Then, we show how the requirement of serializability can be decomposed into requirements that can be attributed to concurrency control, to replication control, and to recovery control, respectively. Altogether, we obtain a unified theory of transaction management, where we focus on concurrency control and replication control in this paper.