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: 2107
Venue: SIGMOD
Year: 1979
Pagerank: 0.00075110004
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
135	Can We Use The Universal Instance Assumption Without Using Nulls?	1981	SIGMOD	0.00042421957
144	Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract)	1982	PODS	0.00041462501
200	OPTIMIZING DATALOG PROGRAMS (Extended Abstract)	1987	PODS	0.00035012858
494	Data Exchange: Getting to the Core	2003	PODS	0.00021805832
621	Schema Mappings, Data Exchange, and Metadata Management	2005	PODS	0.00019005115
698	The Chase Revisited	2008	PODS	0.00018030148
895	Updates Of Relational Views	1983	PODS	0.00015534879
1,196	On Computing Restricted Projections of Representative Instances	1985	PODS	0.00013403617
1,358	The Tree Property Is Fundamental For Query Processing (Extended Abstract)	1982	PODS	0.00012387987
1,916	A Transaction Language Complete for Database Update and Specification	1987	PODS	0.00010101977
1,937	Windows On The World	1983	SIGMOD	0.00010029315
2,026	REAL-WORLD MVD's	1981	SIGMOD	9.7457158e-05
2,032	The Implication And Finite Implication Problems For Typed Template Dependencies	1982	PODS	9.7332616e-05
2,197	Update Semantics for Incomplete Databases	1985	VLDB	9.3085358e-05
2,318	Efficient Query Answering in the Representative Instance Approach	1985	PODS	9.0400919e-05
2,720	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.2367715e-05
2,727	Semantic Query Optimization in the Presence of Types	2010	PODS	8.2216778e-05
2,755	Advanced Processing for Ontological Queries	2010	VLDB	8.1690695e-05
2,829	Computing Cores for Data Exchange: New Algorithms and Practical Solutions	2005	PODS	8.0546963e-05
2,904	Nested Mappings: Schema Mapping Reloaded	2006	VLDB	7.9355829e-05
2,918	Notions of Dependency Satisfaction	1982	PODS	7.9051531e-05
2,956	Efficient Algorithms for Minimizing Tree Pattern Queries	2002	SIGMOD	7.821865e-05
3,004	Benchmarking the Chase	2017	PODS	7.7314538e-05
3,042	Dichotomies in the Complexity of Preferred Repairs	2015	PODS	7.669374e-05
3,317	Data Functions, Datalog and Negation (Extended Abstract)	1988	SIGMOD	7.2283048e-05
3,332	A Universal Relation Database System Implemented Via the Network Model	1982	PODS	7.2123658e-05
3,361	Functional Dependencies on Cyclic Database Schemes	1983	SIGMOD	7.1735665e-05
3,364	Multirelations - Semantics and Languages	1985	VLDB	7.1731086e-05
3,380	Independent and Separable Database Schemes	1983	PODS	7.1606467e-05
3,420	An Information-Theoretic Approach to Normal Forms for Relational and XML Data	2003	PODS	7.1154446e-05
3,424	Data Exchange: Computing Cores in Polynomial Time	2006	PODS	7.110765e-05
3,489	On Chase Termination Beyond Stratification	2009	VLDB	7.0468114e-05
3,496	Dependency Satisfaction in Databases with Incomplete Information	1984	VLDB	7.0397186e-05
3,559	Incomplete Information and Dependencies in Relational Databases	1983	SIGMOD	6.9759696e-05
3,909	Chase Termination for Guarded Existential Rules	2015	PODS	6.6375375e-05
4,169	Reasoning about Nested Functional Dependencies	1999	PODS	6.3905263e-05
4,396	Mapping Adaptation under Evolving Schemas	2003	VLDB	6.2239611e-05
4,448	The Interaction between Functional Dependencies and Template Dependencies	1980	SIGMOD	6.1785017e-05
4,705	Locally Consistent Transformations and Query Answering in Data Exchange	2004	PODS	5.9830709e-05
5,244	Cooperative Update Exchange in the Youtopia System	2009	VLDB	5.6069303e-05
5,744	Size and Treewidth Bounds for Conjunctive Queries	2009	PODS	5.3441438e-05
5,767	Data Exchange beyond Complete Data	2011	PODS	5.3334039e-05
6,033	Embedded Join Dependencies As A Tool For Decomposing Full Join Dependencies	1985	PODS	5.2415551e-05
6,083	Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies	1980	SIGMOD	5.2201823e-05
6,155	MapMerge: Correlating Independent Schema Mappings	2010	VLDB	5.1802715e-05
6,168	Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions	1984	SIGMOD	5.1716335e-05
6,470	Exploiting Equality Generating Dependencies in Checking Chase Termination	2016	VLDB	5.0513478e-05
6,552	Stratification Criteria and Rewriting Techniques for Checking Chase Termination	2011	VLDB	5.0164865e-05
6,603	Properties Of Database Schemata With Functional Dependencies	1984	PODS	4.9971153e-05
6,761	On The Recognition Of Coverings Of Acyclic Database Hypergraphs	1983	PODS	4.9348368e-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
698	The Chase Revisited	2008	PODS	0.00018030148
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
7,509	Optimizing the Chase: Scalable Data Integration under Constraints	2014	VLDB	4.7180617e-05
3,004	Benchmarking the Chase	2017	PODS	7.7314538e-05
2,341	Chasing Constrained Tuple-Generating Dependencies	1996	PODS	9.0034124e-05
6,470	Exploiting Equality Generating Dependencies in Checking Chase Termination	2016	VLDB	5.0513478e-05
13,059	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS	4.1945683e-05
3,559	Incomplete Information and Dependencies in Relational Databases	1983	SIGMOD	6.9759696e-05
3,496	Dependency Satisfaction in Databases with Incomplete Information	1984	VLDB	7.0397186e-05