Chasing Constrained Tuple-Generating Dependencies

Summary: Studies implication for constrained TGDs (CTGDs), introducing two chases: cautious (only justified tuples/constraints) and speculative (conditional tuples/constraints). Shows equivalence on domains with Independence of Negative Constraints, gives termination criteria, and adds magic-sets goal-directed optimization. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1082
Venue: PODS
Year: 1996
Pagerank: 8.3391085e-05
Overall Rank: 2,617 | 82.05%
DOI: 10.1145/237661.237693

Incoming Non-self Citations Over Time

Authors

1. Michael J. Maher (Griffith University)
2. Divesh Srivastava (AT&T)

BibTeX Citation

@inproceedings{maher_pods96,
        address = {New York, NY, USA},
        series = {{PODS} '96},
        title = {{Chasing Constrained Tuple-Generating Dependencies}},
        url = {https://dl.acm.org/doi/10.1145/237661.237693},
        doi = {10.1145/237661.237693},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Maher, Michael J. and Srivastava, Divesh},
        year = {1996}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
494	Dependencies Revisited for Improving Data Quality	2008	PODS	0.00017526549
533	Improving Data Quality: Consistency and Accuracy	2007	VLDB	0.0001705859
1,277	Extending Dependencies with Conditions	2007	VLDB	0.00011368191
6,639	Propagating Functional Dependencies with Conditions	2008	VLDB	5.8165825e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
313	OPTIMIZING DATALOG PROGRAMS (Extended Abstract)	1987	PODS	0.0002168869
853	Queries Independent of Updates	1993	VLDB	0.00013587101
1,314	Independence of Logic Database Queries and Updates	1990	PODS	0.00011182427
6,731	A Decision Procedure for Conjunctive Query Disjointness	1989	PODS	5.7885617e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	40	Testing Implications Of Data Dependencies	1979	SIGMOD
2	11,129	Chase Termination Beyond Polynomial Time	2024	PODS
3	4,369	Semantic Query Optimization in the Presence of Types	2010	PODS
4	9,196	Non-Uniformly Terminating Chase: Size and Complexity	2022	PODS
5	9,933	Semantic Acyclicity Under Constraints	2016	PODS
6	4,353	Chase Termination for Guarded Existential Rules	2015	PODS
7	8,779	Chase Termination: A Constraints Rewriting Approach	2010	VLDB
8	3,247	On Chase Termination Beyond Stratification	2009	VLDB
9	11,584	Rewriting the Infinite Chase	2022	VLDB
10	11,750	All-Instances Restricted Chase Termination	2020	PODS