Exploiting Equality Generating Dependencies in Checking Chase Termination

Summary: New termination criteria for chase with EGDs: stratification and an adornment algorithm. More accurate analysis expands terminating dependency sets, complementing and outperforming existing criteria by catching cases they miss. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 11332
Venue: VLDB
Year: 2016
Pagerank: 5.048352e-05
Overall Rank: 6,459 | 55.12%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,517	Dependencies for Graphs	2017	PODS	8.6058545e-05

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.

Rank	Cited Paper	Year	Venue	Pagerank
38	Testing Implications Of Data Dependencies	1979	SIGMOD	0.0007528369
49	Consistent Query Answers in Inconsistent Databases	1999	PODS	0.00067607389
493	Data Exchange: Getting to the Core	2003	PODS	0.00021782199
695	The Chase Revisited	2008	PODS	0.00018013323
1,197	The LLUNATIC Data-Cleaning Framework	2013	VLDB	0.00013373177
1,737	Generalized Schema-Mappings: From Termination To Tractability	2009	PODS	0.00010711961
2,763	Advanced Processing for Ontological Queries	2010	VLDB	8.1614123e-05
3,494	On Chase Termination Beyond Stratification	2009	VLDB	7.0401e-05
3,913	Chase Termination for Guarded Existential Rules	2015	PODS	6.6311557e-05
3,940	On Reconciling Data Exchange, Data Integration, and Peer Data Management	2007	PODS	6.6096825e-05
4,707	Locally Consistent Transformations and Query Answering in Data Exchange	2004	PODS	5.9773898e-05
6,549	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.0116687e-05
8,483	Chase Termination: A Constraints Rewriting Approach	2010	VLDB	4.4964612e-05

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.3997447e-05
3,913	Chase Termination for Guarded Existential Rules	2015	PODS	6.6311557e-05
8,483	Chase Termination: A Constraints Rewriting Approach	2010	VLDB	4.4964612e-05
11,557	All-Instances Restricted Chase Termination	2020	PODS	4.1905499e-05
9,385	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.342951e-05
10,368	Restricted Chase Termination: You Want More than Fairness	2025	PODS	4.1905499e-05
9,046	Non-Uniformly Terminating Chase: Size and Complexity	2022	PODS	4.3997447e-05
10,912	Chase Termination Beyond Polynomial Time	2024	PODS	4.1905499e-05
6,549	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.0116687e-05
3,494	On Chase Termination Beyond Stratification	2009	VLDB	7.0401e-05