Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: PUG: A Framework and Practical Implementation for Why & Why-Not
  Provenance (extended version)   Explaining why an answer is (or is not) returned by a query is important for
many applications including auditing, debugging data and queries, and answering
hypothetical questions about data. In this work, we present the first practical
approach for answering such questions for queries with negation (first- order
queries). Specifically, we introduce a graph-based provenance model that, while
syntactic in nature, supports reverse reasoning and is proven to encode a wide
range of provenance models from the literature. The implementation of this
model in our PUG (Provenance Unification through Graphs) system takes a
provenance question and Datalog query as an input and generates a Datalog
program that computes an explanation, i.e., the part of the provenance that is
relevant to answer the question. Furthermore, we demonstrate how a desirable
factorization of provenance can be achieved by rewriting an input query. We
experimentally evaluate our approach demonstrating its efficiency.

28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys