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.00045878061
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.0002972645
280 Can We Use The Universal Instance Assumption Without Using Nulls? 1981 SIGMOD 0.00022303419
317 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.00021210493
392 Data Exchange: Getting to the Core 2003 PODS 0.00019215652
517 Schema Mappings, Data Exchange, and Metadata Management 2005 PODS 0.0001694094
539 The Chase Revisited 2008 PODS 0.0001672793
1,088 Updates Of Relational Views 1983 PODS 0.00012085975
1,455 On Computing Restricted Projections of Representative Instances 1985 PODS 0.00010594127
1,768 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.6894e-05
2,144 The Tree Property Is Fundamental For Query Processing (Extended Abstract) 1982 PODS 8.9582569e-05
2,347 Windows On The World 1983 SIGMOD 8.5979639e-05
2,459 Update Semantics for Incomplete Databases 1985 VLDB 8.431401e-05
2,538 A General Datalog-Based Framework for Tractable Query Answering over Ontologies 2009 PODS 8.3246034e-05
2,581 REAL-WORLD MVD's 1981 SIGMOD 8.2669432e-05
2,585 Advanced Processing for Ontological Queries 2010 VLDB 8.2546449e-05
2,596 Computing Cores for Data Exchange: New Algorithms and Practical Solutions 2005 PODS 8.2387266e-05
2,675 Benchmarking the Chase 2017 PODS 8.1442721e-05
2,733 Efficient Algorithms for Minimizing Tree Pattern Queries 2002 SIGMOD 8.0780747e-05
2,763 Dichotomies in the Complexity of Preferred Repairs 2015 PODS 8.0404242e-05
2,850 Nested Mappings: Schema Mapping Reloaded 2006 VLDB 7.9384121e-05
3,324 On Chase Termination Beyond Stratification 2009 VLDB 7.4257213e-05
3,356 The Implication And Finite Implication Problems For Typed Template Dependencies 1982 PODS 7.3798412e-05
3,368 Data Exchange: Computing Cores in Polynomial Time 2006 PODS 7.3687982e-05
3,481 Multirelations -- Semantics and Languages 1985 VLDB 7.2652542e-05
3,502 An Information-Theoretic Approach to Normal Forms for Relational and XML Data 2003 PODS 7.2490781e-05
3,541 Data Functions, Datalog and Negation (Extended Abstract) 1988 SIGMOD 7.2127593e-05
3,599 Functional Dependencies on Cyclic Database Schemes 1983 SIGMOD 7.1748845e-05
3,619 Efficient Query Answering in the Representative Instance Approach 1985 PODS 7.1524454e-05
3,735 A Universal Relation Database System Implemented Via the Network Model 1982 PODS 7.0613116e-05
3,808 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 7.0068633e-05
4,199 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD 6.7380204e-05
4,233 The Interaction between Functional Dependencies and Template Dependencies 1980 SIGMOD 6.7104541e-05
4,268 Mapping Adaptation under Evolving Schemas 2003 VLDB 6.6932945e-05
4,370 Locally Consistent Transformations and Query Answering in Data Exchange 2004 PODS 6.6300346e-05
4,447 Chase Termination for Guarded Existential Rules 2015 PODS 6.5945135e-05
4,461 Semantic Query Optimization in the Presence of Types 2010 PODS 6.5870588e-05
4,533 Data Exchange beyond Complete Data 2011 PODS 6.5552806e-05
4,584 Reasoning about Nested Functional Dependencies 1999 PODS 6.5160342e-05
4,966 Notions of Dependency Satisfaction 1982 PODS 6.334274e-05
5,259 Cooperative Update Exchange in the Youtopia System 2009 VLDB 6.2044097e-05
6,044 Size and Treewidth Bounds for Conjunctive Queries 2009 PODS 5.903331e-05
6,238 MapMerge: Correlating Independent Schema Mappings 2010 VLDB 5.83873e-05
6,284 Independent and Separable Database Schemes 1983 PODS 5.8211296e-05
6,637 Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies 1980 SIGMOD 5.7242973e-05
6,839 Properties Of Database Schemata With Functional Dependencies 1984 PODS 5.6657713e-05
6,886 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB 5.6544151e-05
6,919 Expressiveness of Guarded Existential Rule Languages 2014 PODS 5.6435526e-05
7,129 Embedded Join Dependencies As A Tool For Decomposing Full Join Dependencies 1985 PODS 5.5991152e-05
7,187 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB 5.5886012e-05
7,282 Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions 1984 SIGMOD 5.5645528e-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 539 The Chase Revisited 2008 PODS
2 6,886 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB
3 3,324 On Chase Termination Beyond Stratification 2009 VLDB
4 8,105 Optimizing the Chase: Scalable Data Integration under Constraints 2014 VLDB
5 2,675 Benchmarking the Chase 2017 PODS
6 2,647 Chasing Constrained Tuple-Generating Dependencies 1996 PODS
7 7,187 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB
8 13,555 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS
9 4,199 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD
10 3,808 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB