Deleting Completed Transactions

  title={Deleting Completed Transactions},
  author={Thanasis Hadzilacos and Mihalis Yannakakis},
We prove a necessary and sufficient condition on when it is safe for conflict-graph based schedulers to forget (and remove) a transaction that has completed. The condition can be tested in polynomial time and can be applied repeatedly.