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 43 of 93 citing papers.

Rank Citing Paper Year Venue Pagerank
7,343 On The Recognition Of Coverings Of Acyclic Database Hypergraphs 1983 PODS 5.5473458e-05
8,465 Independence-reducible Database Schemes 1988 PODS 5.3350162e-05
8,466 A Characterization of Constant-time-maintainability for BCNF Database Schemes 1988 SIGMOD 5.3350162e-05
8,469 The Equivalence of Solving Queries and Producing Tree Projections (Extended Abstract) 1986 PODS 5.3350162e-05
8,646 Optimizing Query Answering under Ontological Constraints 2011 VLDB 5.2954616e-05
9,061 Understanding Queries by Conditional Instances 2022 SIGMOD 5.2289882e-05
9,141 Designing Globally Consistent Network Schemas 1983 SIGMOD 5.2209105e-05
9,375 Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study 2023 VLDB 5.1868213e-05
9,433 Querying Weak Instances 1984 PODS 5.1781766e-05
9,434 The Revenge Of The Jd 1983 PODS 5.1781766e-05
9,466 Efficiently Enumerating Answers to Ontology-Mediated Queries 2022 PODS 5.1722982e-05
9,555 Leveraging Query Logs for Schema Mapping Generation in U-MAP 2011 SIGMOD 5.1581688e-05
9,664 Local Transformations and Conjunctive-Query Equivalence 2012 PODS 5.1453267e-05
9,704 Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning 2022 VLDB 5.1378347e-05
9,794 Raqlet: Cross-Paradigm Compilation for Recursive Queries 2026 CIDR 5.1257999e-05
9,894 Data Integration and Data Exchange: It’s Really About Time 2013 CIDR 5.1129187e-05
10,034 Materializing Knowledge Bases via Trigger Graphs 2021 VLDB 5.0925155e-05
10,053 The Space-Efficient Core of Vadalog 2019 PODS 5.087795e-05
10,055 Containment of Conjunctive Object Meta-Queries 2006 VLDB 5.087795e-05
10,115 Semantic Acyclicity Under Constraints 2016 PODS 5.0789354e-05
10,149 Datalog with First-Class Facts 2025 VLDB 5.0715586e-05
11,087 No Cliques Allowed: The Next Step Towards BDD/FC Conjecture 2025 PODS 4.9793485e-05
11,477 Chase Termination Beyond Polynomial Time 2024 PODS 4.9793485e-05
11,654 The Vadalog Parallel System: Distributed Reasoning with Datalog+/- 2024 VLDB 4.9793485e-05
11,937 Model-theoretic Characterizations of Rule-based Ontologies 2021 PODS 4.9793485e-05
12,056 The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs 2020 PODS 4.9793485e-05
12,193 Containment for Rule-Based Ontology-Mediated Queries 2018 PODS 4.9793485e-05
12,201 How Can Reasoners Simplify Database Querying (And Why Haven’t They Done It Yet)? 2018 PODS 4.9793485e-05
13,282 Applying an update method to a set of receivers (extended abstract) 1995 PODS 4.9793485e-05
13,410 Polynomial Time Designs toward Both BCNF and Efficient Data Manipulation 1990 SIGMOD 4.9793485e-05
13,411 Efficient Updates to Independent Schemes in the Weak Instance Model 1990 SIGMOD 4.9793485e-05
13,422 Updating Databases in the Weak Instance Model 1989 PODS 4.9793485e-05
13,461 On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies 1987 PODS 4.9793485e-05
13,463 A New Basis for the Weak Instance Model 1987 PODS 4.9793485e-05
13,483 On the Properties and Characterisation of Connection-trap-free Schemes (Extended Abstract) 1986 PODS 4.9793485e-05
13,484 ON FINITE FD-ACYCLICITY (Extended Abstract) 1986 PODS 4.9793485e-05
13,498 Relaxing the Universal Relation Scheme Assumption 1985 PODS 4.9793485e-05
13,520 On the Decomposition of Join Dependencies 1984 PODS 4.9793485e-05
13,538 Inverting Relational Expressions - A Uniform And Natural Technique For Various Database Problems 1983 PODS 4.9793485e-05
13,539 Path Expressions in Databases (Extended Abstract) 1983 PODS 4.9793485e-05
13,540 Algebraic Aspects of Relational Database Decomposition (Extended Abstract) 1983 PODS 4.9793485e-05
13,549 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS 4.9793485e-05
13,551 A Technique For Translating States Between Database Schemata 1982 SIGMOD 4.9793485e-05
Previous Page 2 / 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