Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Trichotomy in the Data Complexity of Certain Query Answering for
  Conjunctive Queries   A relational database is said to be uncertain if primary key constraints can
possibly be violated. A repair (or possible world) of an uncertain database is
obtained by selecting a maximal number of tuples without ever selecting two
distinct tuples with the same primary key value. For any Boolean query q,
CERTAINTY(q) is the problem that takes an uncertain database db on input, and
asks whether q is true in every repair of db. The complexity of this problem
has been particularly studied for q ranging over the class of self-join-free
Boolean conjunctive queries. A research challenge is to determine, given q,
whether CERTAINTY(q) belongs to complexity classes FO, P, or coNP-complete. In
this paper, we combine existing techniques for studying the above complexity
classification task. We show that for any self-join-free Boolean conjunctive
query q, it can be decided whether or not CERTAINTY(q) is in FO. Further, for
any self-join-free Boolean conjunctive query q, CERTAINTY(q) is either in P or
coNP-complete, and the complexity dichotomy is effective. This settles a
research question that has been open for ten years, since [9].

29
The categories of this paper are: funct-an
30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int