Deleting Completed Transactions

@inproceedings{Hadzilacos1985DeletingCT,
  title={Deleting Completed Transactions},
  author={Thanasis Hadzilacos and Mihalis Yannakakis},
  booktitle={PODS},
  year={1985}
}
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.