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.00045899672
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.00029740459
278 Can We Use The Universal Instance Assumption Without Using Nulls? 1981 SIGMOD 0.00022313978
317 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00021220438
392 Data Exchange: Getting to the Core 2003 PODS 0.0001922472
517 Schema Mappings, Data Exchange, and Metadata Management 2005 PODS 0.00016948466
539 The Chase Revisited 2008 PODS 0.00016735847
1,088 Updates Of Relational Views 1983 PODS 0.00012091631
1,455 On Computing Restricted Projections of Representative Instances 1985 PODS 0.00010599099
1,767 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.6939822e-05
2,142 The Tree Property Is Fundamental For Query Processing (Extended Abstract) 1982 PODS 8.9624308e-05
2,346 Windows On The World 1983 SIGMOD 8.6020356e-05
2,459 Update Semantics for Incomplete Databases 1985 VLDB 8.4353518e-05
2,537 A General Datalog-Based Framework for Tractable Query Answering over Ontologies 2009 PODS 8.328546e-05
2,581 REAL-WORLD MVD's 1981 SIGMOD 8.2708541e-05
2,584 Advanced Processing for Ontological Queries 2010 VLDB 8.2585389e-05
2,594 Computing Cores for Data Exchange: New Algorithms and Practical Solutions 2005 PODS 8.2426092e-05
2,674 Benchmarking the Chase 2017 PODS 8.1480823e-05
2,733 Efficient Algorithms for Minimizing Tree Pattern Queries 2002 SIGMOD 8.0819e-05
2,762 Dichotomies in the Complexity of Preferred Repairs 2015 PODS 8.0441688e-05
2,849 Nested Mappings: Schema Mapping Reloaded 2006 VLDB 7.942171e-05
3,322 On Chase Termination Beyond Stratification 2009 VLDB 7.4292359e-05
3,356 The Implication And Finite Implication Problems For Typed Template Dependencies 1982 PODS 7.3833361e-05
3,366 Data Exchange: Computing Cores in Polynomial Time 2006 PODS 7.3722866e-05
3,480 Multirelations -- Semantics and Languages 1985 VLDB 7.2686543e-05
3,502 An Information-Theoretic Approach to Normal Forms for Relational and XML Data 2003 PODS 7.2525074e-05
3,541 Data Functions, Datalog and Negation (Extended Abstract) 1988 SIGMOD 7.2161746e-05
3,598 Functional Dependencies on Cyclic Database Schemes 1983 SIGMOD 7.1782813e-05
3,619 Efficient Query Answering in the Representative Instance Approach 1985 PODS 7.1558272e-05
3,733 A Universal Relation Database System Implemented Via the Network Model 1982 PODS 7.0646557e-05
3,807 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 7.0097907e-05
4,198 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD 6.7411355e-05
4,233 The Interaction between Functional Dependencies and Template Dependencies 1980 SIGMOD 6.7136317e-05
4,268 Mapping Adaptation under Evolving Schemas 2003 VLDB 6.6964627e-05
4,367 Locally Consistent Transformations and Query Answering in Data Exchange 2004 PODS 6.633173e-05
4,445 Chase Termination for Guarded Existential Rules 2015 PODS 6.5976367e-05
4,459 Semantic Query Optimization in the Presence of Types 2010 PODS 6.590177e-05
4,532 Data Exchange beyond Complete Data 2011 PODS 6.5583849e-05
4,582 Reasoning about Nested Functional Dependencies 1999 PODS 6.5191203e-05
4,964 Notions of Dependency Satisfaction 1982 PODS 6.337274e-05
5,256 Cooperative Update Exchange in the Youtopia System 2009 VLDB 6.2073004e-05
6,043 Size and Treewidth Bounds for Conjunctive Queries 2009 PODS 5.9060629e-05
6,235 MapMerge: Correlating Independent Schema Mappings 2010 VLDB 5.8414951e-05
6,281 Independent and Separable Database Schemes 1983 PODS 5.8238839e-05
6,633 Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies 1980 SIGMOD 5.7270083e-05
6,834 Properties Of Database Schemata With Functional Dependencies 1984 PODS 5.6684547e-05
6,881 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB 5.6570931e-05
6,917 Expressiveness of Guarded Existential Rule Languages 2014 PODS 5.6462255e-05
7,127 Embedded Join Dependencies As A Tool For Decomposing Full Join Dependencies 1985 PODS 5.601767e-05
7,185 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB 5.591248e-05
7,279 Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions 1984 SIGMOD 5.5671882e-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,881 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB
2 539 The Chase Revisited 2008 PODS
3 3,322 On Chase Termination Beyond Stratification 2009 VLDB
4 8,098 Optimizing the Chase: Scalable Data Integration under Constraints 2014 VLDB
5 2,674 Benchmarking the Chase 2017 PODS
6 2,647 Chasing Constrained Tuple-Generating Dependencies 1996 PODS
7 7,185 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB
8 13,549 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS
9 4,198 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD
10 3,807 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB