We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Data Replication in Nested Transaction Systems

Thumbnail Image
Download
Name

MIT-LCS-TR-390.pdf

Size

3.51 MB

Format

Adobe PDF

Checksum (MD5)

4b83fb7bc62461bd897eb5492cfd07bd

Author(s)
Goldman, Kenneth J.
Date Issued
May 1987
Series/Report no.
MIT-LCS-TR-390
Abstract
Gifford's basic Quorum Consensus algorithm for data replication is generalized to accommodate nested transactions and transaction failures (aborts). A formal description of the generalized algorithm is presented using the new Lynch-Merritt input-output automaton model for nested transaction systems.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.