Restricted Chase Termination: You Want More than Fairness
Summary: Universal termination of the restricted chase under existential rules is placed in the analytical hierarchy, with fairness driving high hardness. An alternative application condition is proposed to reduce this hardness and streamline termination analysis. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. David Carral (CNRS (National Centre for Scientific Research); INRIA; University of Montpellier)
- 2. Lukas Gerlach (Technical University of Dresden)
- 3. Lucas Larroque (CNRS (National Centre for Scientific Research); INRIA; PSL University (Paris Sciences & Letters University); École Normale Supérieure)
- 4. Michaël Thomazo (CNRS (National Centre for Scientific Research); INRIA; PSL University (Paris Sciences & Letters University); École Normale Supérieure)
BibTeX Citation
@inproceedings{carral_pods25,
address = {New York, NY, USA},
series = {{PODS} '25},
title = {{Restricted Chase Termination: You Want More than Fairness}},
url = {https://dl.acm.org/doi/10.1145/3725246},
doi = {10.1145/3725246},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Carral, David and Gerlach, Lukas and Larroque, Lucas and Thomazo, Michaël},
year = {2025}
}
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 525 | The Chase Revisited | 2008 | PODS | 0.00017118255 |
| 1,541 | Generalized Schema-Mappings: From Termination To Tractability | 2009 | PODS | 0.00010427058 |
| 4,353 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.7490677e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 6,740 | Stratification Criteria and Rewriting Techniques for Checking Chase Termination | 2011 | VLDB |
| 2 | 11,129 | Chase Termination Beyond Polynomial Time | 2024 | PODS |
| 3 | 7,045 | Exploiting Equality Generating Dependencies in Checking Chase Termination | 2016 | VLDB |
| 4 | 9,196 | Non-Uniformly Terminating Chase: Size and Complexity | 2022 | PODS |
| 5 | 8,779 | Chase Termination: A Constraints Rewriting Approach | 2010 | VLDB |
| 6 | 9,195 | Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study | 2023 | VLDB |
| 7 | 4,353 | Chase Termination for Guarded Existential Rules | 2015 | PODS |
| 8 | 525 | The Chase Revisited | 2008 | PODS |
| 9 | 11,750 | All-Instances Restricted Chase Termination | 2020 | PODS |
| 10 | 3,247 | On Chase Termination Beyond Stratification | 2009 | VLDB |