Data Replication in Nested Transaction Systems
dc.contributor.author | Goldman, Kenneth J. | en_US |
dc.date.accessioned | 2023-03-29T15:14:45Z | |
dc.date.available | 2023-03-29T15:14:45Z | |
dc.date.issued | 1987-05 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149654 | |
dc.description.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. | en_US |
dc.relation.ispartofseries | MIT-LCS-TR-390 | |
dc.title | Data Replication in Nested Transaction Systems | en_US |
dc.identifier.oclc | 18479135 |