Exploiting Equality Generating Dependencies in Checking Chase Termination
Summary: Introduces EGD-aware chase-termination criteria: a novel stratification test and adornment algorithm guaranteeing existence of a terminating chase sequence. Adornment composes with existing methods and strictly broadens the dependency sets they recognize. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Marco Calautti (University of Calabria)
- 2. Sergio Greco (University of Calabria)
- 3. Cristian Molinaro (University of Calabria)
- 4. Irina Trubitsyna (University of Calabria)
BibTeX Citation
@article{calautti_vldb16,
title = {{Exploiting Equality Generating Dependencies in Checking Chase Termination}},
author = {Calautti, Marco and Greco, Sergio and Molinaro, Cristian and Trubitsyna, Irina},
journal = {PVLDB},
series = {{VLDB} '16},
volume = {9},
number = {5},
pages = {396--407},
doi = {10.14778/2876473.2876475},
url = {https://doi.org/10.14778/2876473.2876475},
year = {2016}
}
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,324 | Dependencies for Graphs | 2017 | PODS | 8.7506505e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 13 of 13 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 9,195 | Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study | 2023 | VLDB |
| 2 | 4,353 | Chase Termination for Guarded Existential Rules | 2015 | PODS |
| 3 | 8,779 | Chase Termination: A Constraints Rewriting Approach | 2010 | VLDB |
| 4 | 11,750 | All-Instances Restricted Chase Termination | 2020 | PODS |
| 5 | 9,522 | Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning | 2022 | VLDB |
| 6 | 10,649 | Restricted Chase Termination: You Want More than Fairness | 2025 | PODS |
| 7 | 9,196 | Non-Uniformly Terminating Chase: Size and Complexity | 2022 | PODS |
| 8 | 11,129 | Chase Termination Beyond Polynomial Time | 2024 | PODS |
| 9 | 6,740 | Stratification Criteria and Rewriting Techniques for Checking Chase Termination | 2011 | VLDB |
| 10 | 3,247 | On Chase Termination Beyond Stratification | 2009 | VLDB |