About the Multi-Head Linear Restricted Chase Termination
From International Center for Computational Logic
About the Multi-Head Linear Restricted Chase Termination
Talk by Lukas Gerlach
- Location: APB-2026
- Start: 6. November 2025 at 11:00 am
- End: 6. November 2025 at 12:00 pm
- Research group: Knowledge-Based Systems
- Event series: Research Seminar Logic and AI
- iCal
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.
