Summary: A Theory of Timestamp-Based Concurrency Control
for Nested Transactions
James Aspnes, C.M.U.
Alan Fekete, M.I.T.
Nancy Lynch; M.I.T.
Michael Merritt, AT&T Bell Labs
William Weihl, M.I.T.
We present a rigorous framework for analyzing timestamp-
basedconcurrency control and recovery algorithms for nested
transactions. We define a local correctnessproperty, local
static atomic@, that affords useful modularity. We show that
local static atomicity of each object is sufficient to ensure
global serializability. We presentgeneralizationsof algorithms
due to Reed and Herlihy, and show that each ensures local
Atomic transactions have been widely accepted as a
mechanism for coping with concurrency and failures in
databasesystems. In recent work, researchershave explored