Data Replication in Nested Transaction Systems
Author(s)
Goldman, Kenneth J.
DownloadMIT-LCS-TR-390.pdf (3.507Mb)
Metadata
Show full item recordAbstract
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.
Date issued
1987-05Series/Report no.
MIT-LCS-TR-390