Chase Termination: A Constraints Rewriting Approach

Summary: Rewrites constraints into an equivalent Σα before applying structural chase-termination tests. This strictly enlarges recognizable terminating classes: Σα may satisfy a sufficient condition even when the original Σ does not, despite undecidability in general. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 10236
Venue: VLDB
Year: 2010
Pagerank: 5.3748499e-05
Overall Rank: 8,779 | 39.77%
DOI: 10.14778/1920841.1920857

Incoming Non-self Citations Over Time

Authors

1. Sergio Greco (University of Calabria)
2. Francesca Spezzano (University of Calabria)

BibTeX Citation

@article{greco_vldb10,
        title = {{Chase Termination: A Constraints Rewriting Approach}},
        author = {Greco, Sergio and Spezzano, Francesca},
        journal = {PVLDB},
        series = {{VLDB} '10},
        volume = {3},
        number = {1},
        pages = {93--104},
        doi = {10.14778/1920841.1920857},
        url = {https://doi.org/10.14778/1920841.1920857},
        year = {2010}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,740	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.7869364e-05
7,045	Exploiting Equality Generating Dependencies in Checking Chase Termination	2016	VLDB	5.7186824e-05
7,411	Flag & Check: Data Access with Monadically Defined Queries	2013	PODS	5.6242786e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
22	Data Integration: A Theoretical Perspective	2002	PODS	0.00056204792
377	Data Exchange: Getting to the Core	2003	PODS	0.00019643793
525	The Chase Revisited	2008	PODS	0.00017118255
1,541	Generalized Schema-Mappings: From Termination To Tractability	2009	PODS	0.00010427058
3,247	On Chase Termination Beyond Stratification	2009	VLDB	7.5993811e-05
3,485	The Complexity of Data Exchange	2006	PODS	7.3703451e-05
3,546	On Reconciling Data Exchange, Data Integration, and Peer Data Management	2007	PODS	7.3244507e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,617	Chasing Constrained Tuple-Generating Dependencies	1996	PODS
2	9,196	Non-Uniformly Terminating Chase: Size and Complexity	2022	PODS
3	7,045	Exploiting Equality Generating Dependencies in Checking Chase Termination	2016	VLDB
4	4,353	Chase Termination for Guarded Existential Rules	2015	PODS
5	9,195	Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study	2023	VLDB
6	10,649	Restricted Chase Termination: You Want More than Fairness	2025	PODS
7	11,750	All-Instances Restricted Chase Termination	2020	PODS
8	525	The Chase Revisited	2008	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