Correctness. In this section we prove the correctness of transaction execution by proving the following theorem. Theorem 1 Transaction execution preserves Invariant 1. Proof By assumption the invariant held before the execution of a transaction. At all sites where the transaction is not committed, the data values, history log, and reception vectors remain unchanged. Moreover data values, history log, and reception vectors of all objects not written by the transaction remain unchanged. transaction coordinator.
Appears in 2 contracts
Sources: Independent Updates and Incremental Agreement in Replicated Databases, Independent Updates and Incremental Agreement in Replicated Databases
Correctness. In this section we prove the correctness of transaction execution by proving the following theorem. Theorem 1 Transaction execution preserves Invariant Invari- ant 1. Proof By assumption the invariant held before the execution of a transaction. At all sites where the transaction is not committed, the data values, history log, and reception vectors remain unchanged. Moreover More- over data values, history log, and reception vectors of all objects not written by the transaction remain unchanged. transaction coordinator.p
Appears in 1 contract
Sources: Independent Updates and Incremental Agreement in Replicated Databases