A Theory of Timestamp-Based Concurrency Control for Nested Transactions
James Aspnes, Alan David Fekete, Nancy Ann Lynch, Michael Merritt, William E. Weihl · Very Large Data Bases · 1988
We present a rigorous framework for analyzing timestampbased concurrency control and recovery algorithms for nested transactions. We define a local correctness property, local static atomic@, that affords useful modularity. We show that local static atomicity of each object is sufficient to ensure global serializability. We present generalizations of algorithms due to Reed and Herlihy, and show that each ensures local static atomicity.