Database Paper Browser

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
2107
Venue
SIGMOD
Year
1979
Pagerank
0.00075110004
Overall Rank
38 | 99.74%
DOI
-

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 41 of 91 citing papers.

Rank Citing Paper Year Venue Pagerank
7,956 Expressiveness of Guarded Existential Rule Languages 2014 PODS 4.613363e-05
7,979 Independence-reducible Database Schemes 1988 PODS 4.613363e-05
7,980 A Characterization of Constant-time-maintainability for BCNF Database Schemes 1988 SIGMOD 4.613363e-05
7,984 The Equivalence of Solving Queries and Producing Tree Projections (Extended Abstract) 1986 PODS 4.613363e-05
8,249 Optimizing Query Answering under Ontological Constraints 2011 VLDB 4.5508077e-05
8,403 On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies 1987 PODS 4.5234988e-05
8,427 Designing Globally Consistent Network Schemas 1983 SIGMOD 4.5159344e-05
8,954 Understanding Queries by Conditional Instances 2022 SIGMOD 4.4221863e-05
8,995 Efficiently Enumerating Answers to Ontology-Mediated Queries 2022 PODS 4.412512e-05
9,012 Querying Weak Instances 1984 PODS 4.4096041e-05
9,013 The Revenge Of The Jd 1983 PODS 4.4096041e-05
9,045 Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study 2023 VLDB 4.4039656e-05
9,182 Leveraging Query Logs for Schema Mapping Generation in U-MAP 2011 SIGMOD 4.3806885e-05
9,334 Local Transformations and Conjunctive-Query Equivalence 2012 PODS 4.3556432e-05
9,377 Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning 2022 VLDB 4.347117e-05
9,551 Data Integration and Data Exchange: It’s Really About Time 2013 CIDR 4.3255102e-05
9,714 Materializing Knowledge Bases via Trigger Graphs 2021 VLDB 4.299267e-05
9,738 The Space-Efficient Core of Vadalog 2019 PODS 4.2936538e-05
9,741 Containment of Conjunctive Object Meta-Queries 2006 VLDB 4.2936538e-05
9,813 Datalog with First-Class Facts 2025 VLDB 4.2783272e-05
9,997 Raqlet: Cross-Paradigm Compilation for Recursive Queries 2026 CIDR 4.1945683e-05
10,350 No Cliques Allowed: The Next Step Towards BDD/FC Conjecture 2025 PODS 4.1945683e-05
10,908 Chase Termination Beyond Polynomial Time 2024 PODS 4.1945683e-05
11,130 The Vadalog Parallel System: Distributed Reasoning with Datalog+/- 2024 VLDB 4.1945683e-05
11,432 Model-theoretic Characterizations of Rule-based Ontologies 2021 PODS 4.1945683e-05
11,556 The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs 2020 PODS 4.1945683e-05
11,829 Semantic Acyclicity Under Constraints 2016 PODS 4.1945683e-05
12,798 Applying an update method to a set of receivers (extended abstract) 1995 PODS 4.1945683e-05
12,925 Polynomial Time Designs toward Both BCNF and Efficient Data Manipulation 1990 SIGMOD 4.1945683e-05
12,926 Efficient Updates to Independent Schemes in the Weak Instance Model 1990 SIGMOD 4.1945683e-05
12,937 Updating Databases in the Weak Instance Model 1989 PODS 4.1945683e-05
12,975 A New Basis for the Weak Instance Model 1987 PODS 4.1945683e-05
12,995 On the Properties and Characterisation of Connection-trap-free Schemes (Extended Abstract) 1986 PODS 4.1945683e-05
12,996 ON FINITE FD-ACYCLICITY (Extended Abstract) 1986 PODS 4.1945683e-05
13,009 Relaxing the Universal Relation Scheme Assumption 1985 PODS 4.1945683e-05
13,031 On the Decomposition of Join Dependencies 1984 PODS 4.1945683e-05
13,049 Inverting Relational Expressions - A Uniform And Natural Technique For Various Database Problems 1983 PODS 4.1945683e-05
13,050 Path Expressions in Databases (Extended Abstract) 1983 PODS 4.1945683e-05
13,051 Algebraic Aspects of Relational Database Decomposition (Extended Abstract) 1983 PODS 4.1945683e-05
13,059 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS 4.1945683e-05
13,061 A Technique For Translating States Between Database Schemata 1982 SIGMOD 4.1945683e-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 Pagerank
698 The Chase Revisited 2008 PODS 0.00018030148
6,552 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB 5.0164865e-05
3,489 On Chase Termination Beyond Stratification 2009 VLDB 7.0468114e-05
7,509 Optimizing the Chase: Scalable Data Integration under Constraints 2014 VLDB 4.7180617e-05
3,004 Benchmarking the Chase 2017 PODS 7.7314538e-05
2,341 Chasing Constrained Tuple-Generating Dependencies 1996 PODS 9.0034124e-05
6,470 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB 5.0513478e-05
13,059 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS 4.1945683e-05
3,559 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD 6.9759696e-05
3,496 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 7.0397186e-05