Extending Decidable Existential Rules by Joining Acyclicity and Guardedness

  title={Extending Decidable Existential Rules by Joining Acyclicity and Guardedness},
  author={Markus Kr{\"o}tzsch and Sebastian Rudolph},
Existential rules, i.e. Datalog extended with existential quantifiers in rule heads, are currently studied under a variety of names such as Datalog+/–, ∀∃-rules, and tuple-generating dependencies. The renewed interest in this formalism is fuelled by a wealth of recently discovered language fragments for which query answering is decidable. This paper extends and consolidates two of the main approaches in this field – acyclicity and guardedness – by providing (1) complexity-preserving… CONTINUE READING
Highly Cited
This paper has 131 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 82 extracted citations

Datalog in Academia and Industry

Pablo Barceló Reinhard Pichler
Lecture Notes in Computer Science • 2012
View 8 Excerpts
Highly Influenced

Ontology Based Query Answering with Existential Rules

IJCAI • 2013
View 4 Excerpts
Highly Influenced

132 Citations

Citations per Year
Semantic Scholar estimates that this publication has 132 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 26 references

Proceedings of VLDB 2010

Andrea Calì, Georg Gottlob, Andreas Pieris. Advanced processing for ontological queries
3(1):554–565, • 2010
View 6 Excerpts
Highly Influenced

13th Annual ACM Symposium on Theory of Computation (STOC’81)

Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky. Embedded implicational dependencies, their inference problem. In Proc
pages 342–354. ACM, • 1981
View 4 Excerpts
Highly Influenced

Mendelzon , and Yehoshua Sagiv . Testing implications of data dependencies

David Maier, O. Alberto
ACM Transactions on Database Systems • 2011

Technical Report 3011

Markus Krötzsch, Sebastian Rudolph. Revisiting acyclicity, guardedness criteria for decidability of existential rules
Institute AIFB, Karlsruhe Institute of Technology, • 2011
View 3 Excerpts

Vardi . The implication problem for data dependencies

Y. Moshe

Similar Papers

Loading similar papers…