Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model Counting of Query Expressions: Limitations of Propositional
  Methods   Query evaluation in tuple-independent probabilistic databases is the problem
of computing the probability of an answer to a query given independent
probabilities of the individual tuples in a database instance. There are two
main approaches to this problem: (1) in `grounded inference' one first obtains
the lineage for the query and database instance as a Boolean formula, then
performs weighted model counting on the lineage (i.e., computes the probability
of the lineage given probabilities of its independent Boolean variables); (2)
in methods known as `lifted inference' or `extensional query evaluation', one
exploits the high-level structure of the query as a first-order formula.
Although it is widely believed that lifted inference is strictly more powerful
than grounded inference on the lineage alone, no formal separation has
previously been shown for query evaluation. In this paper we show such a formal
separation for the first time.
  We exhibit a class of queries for which model counting can be done in
polynomial time using extensional query evaluation, whereas the algorithms used
in state-of-the-art exact model counters on their lineages provably require
exponential time. Our lower bounds on the running times of these exact model
counters follow from new exponential size lower bounds on the kinds of d-DNNF
representations of the lineages that these model counters (either explicitly or
implicitly) produce. Though some of these queries have been studied before, no
non-trivial lower bounds on the sizes of these representations for these
queries were previously known.

0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
27
The categories of this paper are: comp-gas
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex