Internal Consistency of a Distributed Transaction System with Orphan Detection
Name
MIT-LCS-TR-286.pdf
Size
5.19 MB
Format
Adobe PDF
Checksum (MD5)
f512447d3a55558442d569ff5010445a
Author(s)
Goree, John A., Jr.
Advisor(s)
Lynch, Nancy A.
Date Issued
January 1983
Series/Report no.
MIT-LCS-TR-286
Abstract
This thesis defines a property called "view-serializability", which formalizes internal consistency for a system of nested atomic transactions. Internal consistency is a stronger condition than the usual notion of data base consistency, because it takes into account the views of transactions which will never commit. In a distributed system, local aborts of remote subactions and crashes of nodes can generate orphans: active actions which are descendants of actions that have aborted or are guaranteed to abort.
Persistent DSpace Link
