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: 11331
Venue: VLDB
Year: 2016
Pagerank: 5.0513478e-05
Overall Rank: 6,470 | 55.00%
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,527	Dependencies for Graphs	2017	PODS	8.5954406e-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.00075110004
49	Consistent Query Answers in Inconsistent Databases	1999	PODS	0.00067660624
494	Data Exchange: Getting to the Core	2003	PODS	0.00021805832
698	The Chase Revisited	2008	PODS	0.00018030148
1,197	The LLUNATIC Data-Cleaning Framework	2013	VLDB	0.00013390321
1,736	Generalized Schema-Mappings: From Termination To Tractability	2009	PODS	0.00010720323
2,755	Advanced Processing for Ontological Queries	2010	VLDB	8.1690695e-05
3,489	On Chase Termination Beyond Stratification	2009	VLDB	7.0468114e-05
3,909	Chase Termination for Guarded Existential Rules	2015	PODS	6.6375375e-05
3,937	On Reconciling Data Exchange, Data Integration, and Peer Data Management	2007	PODS	6.6159574e-05
4,705	Locally Consistent Transformations and Query Answering in Data Exchange	2004	PODS	5.9830709e-05
6,552	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.0164865e-05
8,484	Chase Termination: A Constraints Rewriting Approach	2010	VLDB	4.5007769e-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.4039656e-05
3,909	Chase Termination for Guarded Existential Rules	2015	PODS	6.6375375e-05
8,484	Chase Termination: A Constraints Rewriting Approach	2010	VLDB	4.5007769e-05
11,553	All-Instances Restricted Chase Termination	2020	PODS	4.1945683e-05
9,377	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.347117e-05
10,356	Restricted Chase Termination: You Want More than Fairness	2025	PODS	4.1945683e-05
9,046	Non-Uniformly Terminating Chase: Size and Complexity	2022	PODS	4.4039656e-05
10,908	Chase Termination Beyond Polynomial Time	2024	PODS	4.1945683e-05
6,552	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.0164865e-05
3,489	On Chase Termination Beyond Stratification	2009	VLDB	7.0468114e-05