Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Robustness against Read Committed for Transaction Templates with
  Functional Constraints   The popular isolation level Multiversion Read Committed (RC) trades some of
the strong guarantees of serializability for increased transaction throughput.
Sometimes, transaction workloads can be safely executed under RC obtaining
serializability at the lower cost of RC. Such workloads are said to be robust
against RC. Previous work has yielded a tractable procedure for deciding
robustness against RC for workloads generated by transaction programs modeled
as transaction templates. An important insight of that work is that, by more
accurately modeling transaction programs, we are able to recognize larger sets
of workloads as robust. In this work, we increase the modeling power of
transaction templates by extending them with functional constraints, which are
useful for capturing data dependencies like foreign keys. We show that the
incorporation of functional constraints can identify more workloads as robust
that otherwise would not be. Even though we establish that the robustness
problem becomes undecidable in its most general form, we show that various
restrictions on functional constraints lead to decidable and even tractable
fragments that can be used to model and test for robustness against RC for
realistic scenarios.

13
The categories of this paper are: quant-ph
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
21
The categories of this paper are: adap-org
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int