Reenactment for Read-Committed Snapshot Isolation

TL;DR

This paper extends the reenactment approach for provenance capture from snapshot isolation to read-committed snapshot isolation, enabling efficient provenance computation for more common concurrency control protocols.

Contribution

It introduces novel extensions to the reenactment model and techniques for handling multiple RC-SI transactions, improving provenance analysis in practical database systems.

Findings

Supports efficient provenance reconstruction in GProM system.

Enables provenance computation for RC-SI transactions.

Demonstrates scalability and performance improvements.

Abstract

Provenance for transactional updates is critical for many applications such as auditing and debugging of transactions. Recently, we have introduced MV-semirings, an extension of the semiring provenance model that supports updates and transactions. Furthermore, we have proposed reenactment, a declarative form of replay with provenance capture, as an efficient and non-invasive method for computing this type of provenance. However, this approach is limited to the snapshot isolation (SI) concurrency control protocol while many real world applications apply the read committed version of snapshot isolation (RC-SI) to improve performance at the cost of consistency. We present non-trivial extensions of the model and reenactment approach to be able to compute provenance of RC-SI transactions efficiently. In addition, we develop techniques for applying reenactment across multiple RC-SI transactions. Our experiments demonstrate that our implementation in the GProM system supports efficient re-construction and querying of provenance.