Rewriting the Infinite Chase
Summary: GTGDs rewritten as Datalog with shortcut rules that skip chase steps, enabling queries without the infinite chase. We present algorithms to compute rewritings by simulating chase steps, with guidance and empirical validation on GTGD benchmarks. (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. Michael Benedikt
- 2. Maxime Buron
- 3. Stefano Germano
- 4. Kevin Kappelmann
- 5. Boris Motik
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 6 of 6 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 144 | Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) | 1982 | PODS | 0.00041462501 |
| 893 | Data Integration: The Teenage Years | 2006 | VLDB | 0.00015558352 |
| 3,004 | Benchmarking the Chase | 2017 | PODS | 7.7314538e-05 |
| 5,057 | Queries with Guarded Negation | 2012 | VLDB | 5.7294436e-05 |
| 5,165 | The Vadalog System: Datalog-based Reasoning for Knowledge Graphs | 2018 | VLDB | 5.6529675e-05 |
| 7,956 | Expressiveness of Guarded Existential Rule Languages | 2014 | PODS | 4.613363e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,045 | Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study | 2023 | VLDB | 4.4039656e-05 |
| 698 | The Chase Revisited | 2008 | PODS | 0.00018030148 |
| 6,552 | Stratification Criteria and Rewriting Techniques for Checking Chase Termination | 2011 | VLDB | 5.0164865e-05 |
| 9,377 | Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning | 2022 | VLDB | 4.347117e-05 |
| 3,489 | On Chase Termination Beyond Stratification | 2009 | VLDB | 7.0468114e-05 |
| 11,553 | All-Instances Restricted Chase Termination | 2020 | PODS | 4.1945683e-05 |
| 9,046 | Non-Uniformly Terminating Chase: Size and Complexity | 2022 | PODS | 4.4039656e-05 |
| 2,341 | Chasing Constrained Tuple-Generating Dependencies | 1996 | PODS | 9.0034124e-05 |
| 3,909 | Chase Termination for Guarded Existential Rules | 2015 | PODS | 6.6375375e-05 |
| 10,908 | Chase Termination Beyond Polynomial Time | 2024 | PODS | 4.1945683e-05 |