已提交读快照隔离的重新设定
Reenactment for Read-Committed Snapshot Isolation
摘要：
事务性更新的来源对于许多应用程序（如事务的审计和调试）至关重要。最近，我们引入了MV-半环，半环起源模型的扩展，支持更新和事务。此外，我们提出了重演，声明形式的重播与出处捕获，作为一种有效的和非侵入性的方法来计算这种类型的出处。然而，这种方法仅限于快照隔离（SI）并发控制协议，而许多现实世界的应用程序应用快照隔离的读提交版本（RC-SI）来以一致性为代价提高性能。我们提出了非平凡的扩展模型和重演的方法，能够有效地计算RC-SI交易的起源。此外，我们开发的技术应用于跨多个RC-SI交易的重演。我们的实验表明，我们的实现在GProM系统支持有效的重建和查询的出处。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
