About the Multi-Head Linear Restricted Chase Termination
Databases
2025-11-25 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.2509.19400,
title = {About the Multi-Head Linear Restricted Chase Termination},
author = {Lukas Gerlach and Lucas Larroque and Jerzy Marcinkowski and Piotr Ostropolski-Nalewaja},
journal= {arXiv preprint arXiv:2509.19400},
year = {2025}
}
Comments
Technical report of KR 2025 paper