Transaction execution. We now describe execution of transactions that update the database. First we describe the algorithm, then the behavior during failures, and ▇▇▇▇▇ show the correctness of the algorithm.
Appears in 2 contracts
Sources: Independent Updates and Incremental Agreement in Replicated Databases, Independent Updates and Incremental Agreement in Replicated Databases