Abstract:
A set of recoverability theory is derived in this paper for an object-based database. Instead of considering serializability and recoverability as two orthogonal concepts, we simply keep serializability as the only correctness criterion and require serializability to be maintained even when failures of transactions may occur. Based on this fundamental notion of correctness, the definition of recoverability is derived. The recoverability theory derived in this way is a generalization of the traditional recoverability theory in the read/write model. In addition, we find that the set of strict histories depends on the strength of the inverse operations being used to cancel the effects of aborted operations. At one extreme, when the strongest inverse operations are used, the set of strict histories is the same as the set of avoid cascading aborts histories. At the other extreme, when the weakest inverse operations are used, the set of strict histories is the same as the set of rigorous histories. 1
Citations
|
1349
|
Concurrency control and recovery in database systems. Addison-Wesley series in computer science
– BERNSTEIN, HADZILACOS, et al.
- 1987
|
|
428
|
The notion of consistency and predicate locks in a database system
– Eswaran, Gray, et al.
- 1976
|
|
75
|
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types
– Weihl
|
|
74
|
Synchronizing shared abstract types
– ScTvARz, SPECTOR, et al.
- 1984
|
|
66
|
Locking primitives in a database system
– Korth
- 1983
|
|
61
|
Hybrid concurrency control for abstract data types
– Herlihy, Weihl
- 1988
|
|
38
|
Concurrency Control and Recovery in Transactional Process Management
– Schuldt, Alonso, et al.
- 1999
|
|
29
|
Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems
– Wong, Agrawal
- 1992
|
|
27
|
Towards a Unified Theory of Concurrency Control and Recovery
– Schek, Weikum, et al.
- 1993
|
|
23
|
Extracting Concurrency from Objects: A Methodology
– Chrysanthis, Raghuram, et al.
- 1991
|
|
17
|
Transaction synchronization in object bases
– HADZILAGOS, HADZILACOS
- 1991
|
|
12
|
Strict Histories in Object-Based Database Systems
– Rastogi, Korth, et al.
- 1993
|
|
11
|
Principles of transaction oriented database recovery
– Harder, Reuter
- 1983
|
|
8
|
Notes on database systems
– Gray
- 1978
|
|
5
|
Transaction synchronisation in object bases
– Hadzilacos, Hadzilacos
- 1988
|
|
4
|
Abbadi. Reducing Recovery Constraints on Locking based Protocols
– Alonso, Agrawal, et al.
- 1994
|
|
3
|
Context-specific synchronization for atomic data types in object-oriented databases
– Wong, Agrawal
- 1995
|
|
2
|
Context-Baaed Synchronization: An Approach beyond Semantics for Concurrency Control
– Wong, Agrawal
|
|
1
|
Context-Specific Synchronization for Abstract Data Objects in Object-based Databases
– Wong, Agrawal
- 1995
|
|
