KIT | KIT-Bibliothek | Impressum | Datenschutz

Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules

Krötzsch, Markus; Rudolph, Sebastian

Abstract:
Existential rules, i.e. Datalog extended with existential quantifiers in rule heads, are currently studied under a variety of names such as Datalog+/-, forall-exists-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 generalisations of weakly acyclic and weakly (frontier-)guarded rules, and (2) a novel formalism of glut-(frontier-)guarded rules that subsumes both. This builds on an insight that acyclicity can be used to extend any existential rule language while retaining decidability. Besides decidability, combined query complexities are established in all cases.

Open Access Logo


Seitenaufrufe: 4
seit 12.03.2019
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Forschungsbericht
Jahr 2011
Sprache Englisch
Identifikator KITopen-ID: 1000091495
Verlag KIT, Karlsruhe
Umfang 19 S.
Externe Relationen Abstract/Volltext
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page