About the Multi-Head Linear Restricted Chase Termination

Lukas GerlachLukas Gerlach, Lucas LarroqueLucas Larroque, Jerzy MarcinkowskiJerzy Marcinkowski, Piotr Ostropolski-NalewajaPiotr Ostropolski-Nalewaja

Download

Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
About the Multi-Head Linear Restricted Chase Termination
KR 2025, to appear

Details
Bibtex

KurzfassungAbstract
The chase is a ubiquitous algorithm in database theory. However, for existential rules (aka tuple-generating dependencies), its termination is not guaranteed, and even undecidable in general. The problem of termination becomes particularly difficult for the restricted (or standard) chase, for which the order of rule application matters. Thus, decidability of restricted chase termination is still open for many well-behaved classes such as linear or guarded multi-headed rules. We make a step forward by showing that all-instances restricted chase termination is decidable in the linear multi-headed case.
Projekt:Project: Cfaed, CPEC, CeTI, InnoSale, SECAI, ScaDS.AI
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{GLMO2025,
  author    = {Lukas Gerlach and Lucas Larroque and Jerzy Marcinkowski and Piotr
               Ostropolski-Nalewaja},
  title     = {About the Multi-Head Linear Restricted Chase Termination},
  booktitle = {KR 2025},
  year      = {2025},
  month     = {November}
}