James Aspnes, Alan Fekete, Nancy Lynch, Michael Merritt, and William Weihl. A theory of timestamp-based concurrency control for nested transactions. Fourteenth International Conference on Very Large Databases, August 1988, pp. 431–444.
We present a rigorous framework for analyzing timestamp-based concurrency control and recovery algorithms for nested transactions. We define a local correctness property, local static atomicity, 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.
@inproceedings(AspnesFLMW1988,
title="A theory of timestamp-based concurrency control for nested transactions",
author="James Aspnes and Alan Fekete and Nancy Lynch and Michael Merritt and William Weihl",
booktitle="Fourteenth International Conference on Very Large Databases",
month=aug,
year=1988,
pages={431--444}
)