scispace - formally typeset
Search or ask a question

Showing papers by "Michael Merritt published in 1988"


Book ChapterDOI
06 Oct 1988
TL;DR: This theory allows careful statement of the correctness conditions to be satisfied by transaction-processing algorithms, as well as clear and concise description of such algorithms, and serves as a framework for rigorous correctness proofs.
Abstract: This paper describes some results of a recent project to develop a theory for reasoning about atomic transactions. This theory allows careful statement of the correctness conditions to be satisfied by transaction-processing algorithms, as well as clear and concise description of such algorithms. It also serves as a framework for rigorous correctness proofs.

25 citations


Proceedings Article
29 Aug 1988
TL;DR: A rigorous framework for analyzing timestampbased concurrency control and recovery algorithms for nested transactions is presented and it is shown that local static atomicity of each object is sufficient to ensure global serializability.
Abstract: 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.

23 citations