About the Multi-Head Linear Restricted Chase Termination
Aus International Center for Computational Logic
About the Multi-Head Linear Restricted Chase Termination
Vortrag von Lukas Gerlach
- Veranstaltungsort: APB-2026
- Beginn: 6. November 2025 um 11:00
- Ende: 6. November 2025 um 12:00
- Forschungsgruppe: Wissensbasierte Systeme
- 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.
