DBScholar

Back to papers

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
he061f19d0ace62dd
Venue
SIGMOD
Year
1979
Pagerank
0.00045733094
Overall Rank
41 | 99.73%
DOI
10.1145/582095.582119

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{maier_sigmod79,
        title = {{TESTING IMPLICATIONS OF DATA DEPENDENCIES}},
        author = {Maier, David and Mendelzon, Alberto and Sagiv, Yehoshua},
        series = {{SIGMOD} '79},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/582095.582119},
        url = {https://dl.acm.org/doi/10.1145/582095.582119},
        year = {1979}
}

Incoming Citations (Sorted by Pagerank)

Showing 50 of 93 citing papers.

Rank Citing Paper Year Venue Pagerank
136 Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) 1982 PODS 0.00029636761
284 Can We Use The Universal Instance Assumption Without Using Nulls? 1981 SIGMOD 0.00022229787
319 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00021142713
393 Data Exchange: Getting to the Core 2003 PODS 0.00019157229
524 Schema Mappings, Data Exchange, and Metadata Management 2005 PODS 0.00016888746
540 The Chase Revisited 2008 PODS 0.00016674946
1,093 Updates Of Relational Views 1983 PODS 0.0001204652
1,459 On Computing Restricted Projections of Representative Instances 1985 PODS 0.00010559266
1,781 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.657754e-05
2,156 The Tree Property Is Fundamental For Query Processing (Extended Abstract) 1982 PODS 8.9291453e-05
2,359 Windows On The World 1983 SIGMOD 8.5695356e-05
2,467 Update Semantics for Incomplete Databases 1985 VLDB 8.4035566e-05
2,545 A General Datalog-Based Framework for Tractable Query Answering over Ontologies 2009 PODS 8.2970788e-05
2,588 REAL-WORLD MVD's 1981 SIGMOD 8.2396197e-05
2,592 Advanced Processing for Ontological Queries 2010 VLDB 8.2282919e-05
2,604 Computing Cores for Data Exchange: New Algorithms and Practical Solutions 2005 PODS 8.2136514e-05
2,668 Benchmarking the Chase 2017 PODS 8.1323973e-05
2,743 Efficient Algorithms for Minimizing Tree Pattern Queries 2002 SIGMOD 8.0513978e-05
2,759 Dichotomies in the Complexity of Preferred Repairs 2015 PODS 8.0269594e-05
2,860 Nested Mappings: Schema Mapping Reloaded 2006 VLDB 7.9123643e-05
3,335 On Chase Termination Beyond Stratification 2009 VLDB 7.4020648e-05
3,365 The Implication And Finite Implication Problems For Typed Template Dependencies 1982 PODS 7.3554695e-05
3,376 Data Exchange: Computing Cores in Polynomial Time 2006 PODS 7.3463849e-05
3,490 Multirelations -- Semantics and Languages 1985 VLDB 7.2415179e-05
3,514 An Information-Theoretic Approach to Normal Forms for Relational and XML Data 2003 PODS 7.2252535e-05
3,551 Data Functions, Datalog and Negation (Extended Abstract) 1988 SIGMOD 7.188942e-05
3,607 Functional Dependencies on Cyclic Database Schemes 1983 SIGMOD 7.151189e-05
3,628 Efficient Query Answering in the Representative Instance Approach 1985 PODS 7.1288162e-05
3,743 A Universal Relation Database System Implemented Via the Network Model 1982 PODS 7.0379772e-05
3,817 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 6.9840047e-05
4,218 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD 6.7157955e-05
4,240 The Interaction between Functional Dependencies and Template Dependencies 1980 SIGMOD 6.7009223e-05
4,283 Mapping Adaptation under Evolving Schemas 2003 VLDB 6.6712962e-05
4,392 Locally Consistent Transformations and Query Answering in Data Exchange 2004 PODS 6.6087376e-05
4,468 Chase Termination for Guarded Existential Rules 2015 PODS 6.5727079e-05
4,482 Semantic Query Optimization in the Presence of Types 2010 PODS 6.5653184e-05
4,547 Data Exchange beyond Complete Data 2011 PODS 6.5336862e-05
4,602 Reasoning about Nested Functional Dependencies 1999 PODS 6.4944895e-05
4,987 Notions of Dependency Satisfaction 1982 PODS 6.3133289e-05
5,281 Cooperative Update Exchange in the Youtopia System 2009 VLDB 6.1839131e-05
6,051 Size and Treewidth Bounds for Conjunctive Queries 2009 PODS 5.8865476e-05
6,247 MapMerge: Correlating Independent Schema Mappings 2010 VLDB 5.8199336e-05
6,299 Independent and Separable Database Schemes 1983 PODS 5.8022241e-05
6,647 Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies 1980 SIGMOD 5.7053692e-05
6,857 Properties Of Database Schemata With Functional Dependencies 1984 PODS 5.6470368e-05
6,905 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB 5.6357181e-05
6,937 Expressiveness of Guarded Existential Rule Languages 2014 PODS 5.6248915e-05
7,102 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB 5.5827784e-05
7,152 Embedded Join Dependencies As A Tool For Decomposing Full Join Dependencies 1985 PODS 5.580601e-05
7,301 Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions 1984 SIGMOD 5.5461529e-05
Previous Page 1 / 2 Next

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
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 6,905 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB
2 540 The Chase Revisited 2008 PODS
3 3,335 On Chase Termination Beyond Stratification 2009 VLDB
4 8,123 Optimizing the Chase: Scalable Data Integration under Constraints 2014 VLDB
5 2,668 Benchmarking the Chase 2017 PODS
6 2,652 Chasing Constrained Tuple-Generating Dependencies 1996 PODS
7 7,102 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB
8 13,596 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS
9 4,218 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD
10 3,817 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB