Testing Implications Of Data Dependencies

Summary: Proposes a chase-based method to test implication of data dependencies. Interprets tableaux as mappings or templates to handle functional and join dependencies, unifying prior tableau methods; enables checking schema equivalence and component independence, ensuring relational schemas capture intended information. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2108
Venue: SIGMOD
Year: 1979
Pagerank: 0.0007528369
Overall Rank: 38 | 99.74%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 50 of 91 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
131	Can We Use The Universal Instance Assumption Without Using Nulls?	1981	SIGMOD	0.00043719033
142	Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract)	1982	PODS	0.00041780711
209	OPTIMIZING DATALOG PROGRAMS (Extended Abstract)	1987	PODS	0.00034147258
493	Data Exchange: Getting to the Core	2003	PODS	0.00021782199
620	Schema Mappings, Data Exchange, and Metadata Management	2005	PODS	0.00018983367
695	The Chase Revisited	2008	PODS	0.00018013323
893	Updates Of Relational Views	1983	PODS	0.00015519479
1,167	On Computing Restricted Projections of Representative Instances	1985	PODS	0.0001354084
1,366	The Tree Property Is Fundamental For Query Processing (Extended Abstract)	1982	PODS	0.00012375931
1,920	A Transaction Language Complete for Database Update and Specification	1987	PODS	0.00010092077
1,965	Windows On The World	1983	SIGMOD	9.9176387e-05
2,028	REAL-WORLD MVD's	1981	SIGMOD	9.7360512e-05
2,034	The Implication And Finite Implication Problems For Typed Template Dependencies	1982	PODS	9.7234933e-05
2,203	Update Semantics for Incomplete Databases	1985	VLDB	9.2995519e-05
2,531	Efficient Query Answering in the Representative Instance Approach	1985	PODS	8.5916172e-05
2,723	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.2314732e-05
2,732	Semantic Query Optimization in the Presence of Types	2010	PODS	8.2137395e-05
2,763	Advanced Processing for Ontological Queries	2010	VLDB	8.1614123e-05
2,835	Computing Cores for Data Exchange: New Algorithms and Practical Solutions	2005	PODS	8.0468415e-05
2,909	Nested Mappings: Schema Mapping Reloaded	2006	VLDB	7.9282234e-05
2,957	Efficient Algorithms for Minimizing Tree Pattern Queries	2002	SIGMOD	7.8143379e-05
3,007	Benchmarking the Chase	2017	PODS	7.7243073e-05
3,045	Dichotomies in the Complexity of Preferred Repairs	2015	PODS	7.6618214e-05
3,320	Data Functions, Datalog and Negation (Extended Abstract)	1988	SIGMOD	7.2212998e-05
3,339	A Universal Relation Database System Implemented Via the Network Model	1982	PODS	7.1989217e-05
3,367	Functional Dependencies on Cyclic Database Schemes	1983	SIGMOD	7.1665323e-05
3,368	Multirelations - Semantics and Languages	1985	VLDB	7.1658265e-05
3,383	Independent and Separable Database Schemes	1983	PODS	7.1535089e-05
3,422	An Information-Theoretic Approach to Normal Forms for Relational and XML Data	2003	PODS	7.1085318e-05
3,426	Data Exchange: Computing Cores in Polynomial Time	2006	PODS	7.1040993e-05
3,494	On Chase Termination Beyond Stratification	2009	VLDB	7.0401e-05
3,503	Dependency Satisfaction in Databases with Incomplete Information	1984	VLDB	7.0332465e-05
3,562	Incomplete Information and Dependencies in Relational Databases	1983	SIGMOD	6.9690605e-05
3,913	Chase Termination for Guarded Existential Rules	2015	PODS	6.6311557e-05
4,166	Reasoning about Nested Functional Dependencies	1999	PODS	6.3843679e-05
4,393	Mapping Adaptation under Evolving Schemas	2003	VLDB	6.2184603e-05
4,421	The Interaction between Functional Dependencies and Template Dependencies	1980	SIGMOD	6.1939227e-05
4,707	Locally Consistent Transformations and Query Answering in Data Exchange	2004	PODS	5.9773898e-05
4,842	Notions of Dependency Satisfaction	1982	PODS	5.8778608e-05
5,247	Cooperative Update Exchange in the Youtopia System	2009	VLDB	5.601577e-05
5,752	Size and Treewidth Bounds for Conjunctive Queries	2009	PODS	5.3393414e-05
5,775	Data Exchange beyond Complete Data	2011	PODS	5.3282847e-05
6,037	Embedded Join Dependencies As A Tool For Decomposing Full Join Dependencies	1985	PODS	5.2365238e-05
6,087	Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies	1980	SIGMOD	5.2150531e-05
6,158	MapMerge: Correlating Independent Schema Mappings	2010	VLDB	5.1753051e-05
6,459	Exploiting Equality Generating Dependencies in Checking Chase Termination	2016	VLDB	5.048352e-05
6,549	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.0116687e-05
6,604	Properties Of Database Schemata With Functional Dependencies	1984	PODS	4.9923197e-05
6,761	On The Recognition Of Coverings Of Acyclic Database Hypergraphs	1983	PODS	4.9300962e-05
7,070	Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions	1984	SIGMOD	4.8380576e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,549	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.0116687e-05
695	The Chase Revisited	2008	PODS	0.00018013323
3,494	On Chase Termination Beyond Stratification	2009	VLDB	7.0401e-05
7,508	Optimizing the Chase: Scalable Data Integration under Constraints	2014	VLDB	4.7135369e-05
3,007	Benchmarking the Chase	2017	PODS	7.7243073e-05
2,344	Chasing Constrained Tuple-Generating Dependencies	1996	PODS	8.9942907e-05
6,459	Exploiting Equality Generating Dependencies in Checking Chase Termination	2016	VLDB	5.048352e-05
13,071	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS	4.1905499e-05
3,562	Incomplete Information and Dependencies in Relational Databases	1983	SIGMOD	6.9690605e-05
3,503	Dependency Satisfaction in Databases with Incomplete Information	1984	VLDB	7.0332465e-05