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
2169
Venue
SIGMOD
Year
1979
Pagerank
0.00046918506
Overall Rank
40 | 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
134 Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) 1982 PODS 0.00030343737
266 Can We Use The Universal Instance Assumption Without Using Nulls? 1981 SIGMOD 0.00022823892
313 OPTIMIZING DATALOG PROGRAMS (Extended Abstract) 1987 PODS 0.0002168869
377 Data Exchange: Getting to the Core 2003 PODS 0.00019643793
506 Schema Mappings, Data Exchange, and Metadata Management 2005 PODS 0.0001728171
525 The Chase Revisited 2008 PODS 0.00017118255
1,075 Updates Of Relational Views 1983 PODS 0.00012294896
1,417 On Computing Restricted Projections of Representative Instances 1985 PODS 0.00010839353
1,726 A Transaction Language Complete for Database Update and Specification 1987 PODS 9.9156202e-05
2,102 The Tree Property Is Fundamental For Query Processing (Extended Abstract) 1982 PODS 9.1638984e-05
2,289 Windows On The World 1983 SIGMOD 8.7994393e-05
2,402 Update Semantics for Incomplete Databases 1985 VLDB 8.6276184e-05
2,481 A General Datalog-Based Framework for Tractable Query Answering over Ontologies 2009 PODS 8.5196153e-05
2,529 REAL-WORLD MVD's 1981 SIGMOD 8.4604846e-05
2,544 Advanced Processing for Ontological Queries 2010 VLDB 8.4444438e-05
2,550 Computing Cores for Data Exchange: New Algorithms and Practical Solutions 2005 PODS 8.4290753e-05
2,634 Benchmarking the Chase 2017 PODS 8.3210907e-05
2,680 Efficient Algorithms for Minimizing Tree Pattern Queries 2002 SIGMOD 8.267202e-05
2,746 Dichotomies in the Complexity of Preferred Repairs 2015 PODS 8.1725014e-05
2,785 Nested Mappings: Schema Mapping Reloaded 2006 VLDB 8.1236628e-05
3,247 On Chase Termination Beyond Stratification 2009 VLDB 7.5993811e-05
3,291 The Implication And Finite Implication Problems For Typed Template Dependencies 1982 PODS 7.5526697e-05
3,302 Data Exchange: Computing Cores in Polynomial Time 2006 PODS 7.5406585e-05
3,420 Multirelations -- Semantics and Languages 1985 VLDB 7.4283042e-05
3,432 An Information-Theoretic Approach to Normal Forms for Relational and XML Data 2003 PODS 7.4182332e-05
3,476 Data Functions, Datalog and Negation (Extended Abstract) 1988 SIGMOD 7.3807586e-05
3,527 Functional Dependencies on Cyclic Database Schemes 1983 SIGMOD 7.3428228e-05
3,551 Efficient Query Answering in the Representative Instance Approach 1985 PODS 7.3196924e-05
3,648 A Universal Relation Database System Implemented Via the Network Model 1982 PODS 7.2267453e-05
3,750 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 7.1534069e-05
4,115 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD 6.8936288e-05
4,160 The Interaction between Functional Dependencies and Template Dependencies 1980 SIGMOD 6.8622758e-05
4,181 Mapping Adaptation under Evolving Schemas 2003 VLDB 6.848299e-05
4,281 Locally Consistent Transformations and Query Answering in Data Exchange 2004 PODS 6.7848108e-05
4,353 Chase Termination for Guarded Existential Rules 2015 PODS 6.7490677e-05
4,369 Semantic Query Optimization in the Presence of Types 2010 PODS 6.7390374e-05
4,432 Data Exchange beyond Complete Data 2011 PODS 6.7087209e-05
4,487 Reasoning about Nested Functional Dependencies 1999 PODS 6.6686357e-05
4,843 Notions of Dependency Satisfaction 1982 PODS 6.482729e-05
5,154 Cooperative Update Exchange in the Youtopia System 2009 VLDB 6.3423714e-05
5,982 Size and Treewidth Bounds for Conjunctive Queries 2009 PODS 6.0207284e-05
6,104 MapMerge: Correlating Independent Schema Mappings 2010 VLDB 5.9754714e-05
6,153 Independent and Separable Database Schemes 1983 PODS 5.9569613e-05
6,505 Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies 1980 SIGMOD 5.8583679e-05
6,698 Properties Of Database Schemata With Functional Dependencies 1984 PODS 5.7985588e-05
6,740 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB 5.7869364e-05
6,785 Expressiveness of Guarded Existential Rule Languages 2014 PODS 5.7758194e-05
6,987 Embedded Join Dependencies As A Tool For Decomposing Full Join Dependencies 1985 PODS 5.7303405e-05
7,045 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB 5.7186824e-05
7,132 Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions 1984 SIGMOD 5.694968e-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,740 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB
2 525 The Chase Revisited 2008 PODS
3 3,247 On Chase Termination Beyond Stratification 2009 VLDB
4 7,930 Optimizing the Chase: Scalable Data Integration under Constraints 2014 VLDB
5 2,634 Benchmarking the Chase 2017 PODS
6 2,617 Chasing Constrained Tuple-Generating Dependencies 1996 PODS
7 7,045 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB
8 13,259 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS
9 4,115 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD
10 3,750 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB