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 |