Restricted Chase Termination: You Want More than Fairness
David Carral, Lukas Gerlach, Lucas Larroque, Micha\"el Thomazo

TL;DR
This paper investigates the termination problem of the restricted chase algorithm in database theory, revealing its complexity and proposing an alternative condition to improve termination analysis.
Contribution
It characterizes the complexity of universal restricted chase termination within the analytical hierarchy and introduces an alternative fairness condition to facilitate termination analysis.
Findings
Placed universal restricted chase termination in the analytical hierarchy.
Identified the fairness condition as a source of high complexity.
Proposed an alternative condition to reduce the complexity of termination decision.
Abstract
The chase is a fundamental algorithm with ubiquitous uses in database theory. Given a database and a set of existential rules (aka tuple-generating dependencies), it iteratively extends the database to ensure that the rules are satisfied in a most general way. This process may not terminate, and a major problem is to decide whether it does. This problem has been studied for a large number of chase variants, which differ by the conditions under which a rule is applied to extend the database. Surprisingly, the complexity of the universal termination of the restricted (aka standard) chase is not fully understood. We close this gap by placing universal restricted chase termination in the analytical hierarchy. This higher hardness is due to the fairness condition, and we propose an alternative condition to reduce the hardness of universal termination.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
