Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reenactment for Read-Committed Snapshot Isolation   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.

23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
37
The categories of this paper are: supr-con
35
The categories of this paper are: mtrl-th
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
31
The categories of this paper are: ao-sci