Internal Consistency of a Distributed Transaction System with Orphan Detection
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 transacti...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149564 |
| _version_ | 1811095331606102016 |
|---|---|
| author | Goree, John A., Jr. |
| author2 | Lynch, Nancy A. |
| author_facet | Lynch, Nancy A. Goree, John A., Jr. |
| author_sort | Goree, John A., Jr. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T16:15:23Z |
| id | mit-1721.1/149564 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T16:15:23Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1495642023-03-30T03:06:27Z Internal Consistency of a Distributed Transaction System with Orphan Detection Goree, John A., Jr. Lynch, Nancy A. 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. 2023-03-29T15:07:12Z 2023-03-29T15:07:12Z 1983-01 https://hdl.handle.net/1721.1/149564 9523576 MIT-LCS-TR-286 application/pdf |
| spellingShingle | Goree, John A., Jr. Internal Consistency of a Distributed Transaction System with Orphan Detection |
| title | Internal Consistency of a Distributed Transaction System with Orphan Detection |
| title_full | Internal Consistency of a Distributed Transaction System with Orphan Detection |
| title_fullStr | Internal Consistency of a Distributed Transaction System with Orphan Detection |
| title_full_unstemmed | Internal Consistency of a Distributed Transaction System with Orphan Detection |
| title_short | Internal Consistency of a Distributed Transaction System with Orphan Detection |
| title_sort | internal consistency of a distributed transaction system with orphan detection |
| url | https://hdl.handle.net/1721.1/149564 |
| work_keys_str_mv | AT goreejohnajr internalconsistencyofadistributedtransactionsystemwithorphandetection |