Database Paper Browser

Back to papers

Non-Uniformly Terminating Chase: Size and Complexity

Summary: For guarded TGDs under the semi-oblivious chase, non-uniform termination is decidable in polynomial time in the database and any finite chase result has size linear in the database. Shows simplification and linearization from ontological query answering transfer soundly to chase-termination analysis, yielding these complexity and size bounds. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1840
Venue
PODS
Year
2022
Pagerank
4.4039656e-05
Overall Rank
9,046 | 37.07%
DOI
10.1145/3517804.3524146

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank Citing Paper Year Venue Pagerank
9,045 Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study 2023 VLDB 4.4039656e-05
10,908 Chase Termination Beyond Polynomial Time 2024 PODS 4.1945683e-05
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
698 The Chase Revisited 2008 PODS 0.00018030148
1,736 Generalized Schema-Mappings: From Termination To Tractability 2009 PODS 0.00010720323
3,004 Benchmarking the Chase 2017 PODS 7.7314538e-05
3,909 Chase Termination for Guarded Existential Rules 2015 PODS 6.6375375e-05
11,553 All-Instances Restricted Chase Termination 2020 PODS 4.1945683e-05
11,556 The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs 2020 PODS 4.1945683e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
11,386 Rewriting the Infinite Chase 2022 VLDB 4.1945683e-05
7,509 Optimizing the Chase: Scalable Data Integration under Constraints 2014 VLDB 4.7180617e-05
698 The Chase Revisited 2008 PODS 0.00018030148
6,470 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB 5.0513478e-05
10,356 Restricted Chase Termination: You Want More than Fairness 2025 PODS 4.1945683e-05
11,553 All-Instances Restricted Chase Termination 2020 PODS 4.1945683e-05
3,489 On Chase Termination Beyond Stratification 2009 VLDB 7.0468114e-05
9,045 Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study 2023 VLDB 4.4039656e-05
10,908 Chase Termination Beyond Polynomial Time 2024 PODS 4.1945683e-05
3,909 Chase Termination for Guarded Existential Rules 2015 PODS 6.6375375e-05