Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Impact of Disjunction on Reasoning under Existential Rules: Research
  Summary   Datalog+/- is a Datalog-based language family enhanced with existential
quantification in rule heads, equalities and negative constraints. Query
answering over databases with respect to a Datalog+/- theory is generally
undecidable, however several syntactic restrictions have been proposed to
remedy this fact. However, a useful and natural feature however is as of yet
missing from Datalog+/-: The ability to express uncertain knowledge, or
choices, using disjunction. It is the precise objective of the doctoral thesis
herein discussed, to investigate the impact on the complexity of query
answering, of adding disjunction to well-known decidable Datalog+/- fragments,
namely guarded, sticky and weakly-acyclic Datalog+/- theories. For guarded
theories with disjunction, we obtain a strong 2EXP lower bound in the combined
complexity, even for very restricted formalisms like fixed sets of
(disjunctive) inclusion dependencies. For sticky theories, the query answering
problem becomes undecidable, even in the data complexity, and for
weakly-acyclic query answering we see a reasonable and expected increase in
complexity.

0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin