Paper Info
Title
Hybrid Atomicity for Nested Transactions
Abstract
This paper defines the notion of hybrid atomicity for nested transaction systems, and presents and verifies an algorithm providing this property. Hybrid atomicity is a modular property; it allows the correctness of a system to be deduced from the fact that each object is implemented to have the property. It allows more concurrency than dynamic atomicity, by assigning timestamps to transactions at commit. The Avalon system provides exactly this facility. The results in this paper extend earlier work using the same model for locking and timestamp-based algorithms, providing further evidence for the generality of the approach. However, there are some subtle differences with the definitions used in earlier work, showing the difficulties of developing precise general models for nested transaction systems.
Year
DOI
Venue
1992
10.1007/3-540-56039-4_43
ICDT '92 Selected papers of the fourth international conference on Database theory
Keywords
DocType
ISBN
Avalon system,hybrid atomicity,HYBRID ATOMICITY,Hybrid Atomicity,nested transaction system,modular property,Nested Transactions,assigning timestamps,NESTED TRANSACTIONS,dynamic atomicity
Conference
3-540-56039-4
Citations 
PageRank 
References 
8
10.32
10
Authors
3
Name
Order
Citations
PageRank
Alan David Fekete11610201.97
Nancy A. Lynch2101701838.61
William E. Weihl32614903.11