LCS Publication Details
Publication Title: COMMUTATIVITY-BASED LOCKING FOR NESTED TRANSACTIONS
Publication Author: Fekete, Alan
Additional Authors: Lynch, Nancy, Merritt, Michael and Weihl, William
LCS Document Number: MIT-LCS-TM-370
Publication Date: 8-1-1988
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
A new model is introduced for reasoning about atomic transactions. This model allows careful statement of the correctness condition 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.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.