A Journey to the Frontiers of Query Rewritability

@article{OstropolskiNalewaja2022AJT,
  title={A Journey to the Frontiers of Query Rewritability},
  author={Piotr Ostropolski-Nalewaja and Jerzy Marcinkowski and David Carral and Sebastian Rudolph},
  journal={Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems},
  year={2022}
}
We consider (first-order) query rewritability in the context of theory-mediated query answering. The starting point of our journey is the FUS/FES conjecture, which states that any theory that is a finite expansion set (FES) and admits query rewriting (BDD, FUS) must be uniformly bounded. We show that this conjecture holds for a large class of BDD theories, which we call "local". Upon investigating how "non-local" BDD theories can actually get, we discover unexpected phenomena that, we think… 

Figures from this paper

Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying

This work provides a rule set with decidable CQ entailment that falls outside fcs, thus demonstrating the incomparability of fcs and the class of finite-unification sets ( fus ).

Rule-based Languages for Reasoning on Data : Analysis, Design and Applications

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not, for teaching and research institutions in France or abroad, or from public or private research centers.

References

SHOWING 1-10 OF 49 REFERENCES

On rules with existential variables: Walking the decidability line

A Journey to the Frontiers of Query Rewritability (Extended Technical Report)

  • 2022

Oblivious and Semi-Oblivious Boundedness for Existential Rules

It is shown that it is decidable to recognize if a set of rules is bounded for several classes of rules and outline the complexity of the problem.

On the k-Boundedness for Existential Rules

This paper investigates the decidability of the k-boundedness problem, which asks whether a given set of rules is bounded by an integer k, and proves that k- boundedness is decidable for three chase variants.

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries

This work focuses on ontology-mediated queries based on (frontier-)guarded existential rules and (unions of) conjunctive queries, and investigates the problem of FO-rewritability, i.e., whether an OMQ can be rewritten as a first-order query, using a sophisticated automata model known as cost automata.

The core of a graph

Extending Decidable Cases for Rules with Existential Variables

A map of known decidable cases is drawn, including an extension obtained by combining the approach with very recent results on TGD, by combining backward and forward chaining schemes with a graph that captures exactly the notion of dependency between rules.

Undecidable optimization problems for database logic programs

It is shown that the problem of deciding whether a given Datalog program is bounded is undecidable, even for linear programs (i.e., programs in which each rule contains at most one occurrence of a recursive predicate).

Ontological Query Answering via Rewriting

This paper surveys current approaches to rewriting-based query answering of ontological databases and utilizes all the query optimization techniques available in the underlying DBMS.