Deleting completed transactions

摘要

We derive necessary and sufficient conditions on when it is safe to forget (and remove) a completed transaction in several versions of conflict-graph-based schedulers. We show that the conditions can be applied repeatedly and analyze their complexity.