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
2108
Venue
SIGMOD
Year
1979
Pagerank
0.0007528369
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,959 Expressiveness of Guarded Existential Rule Languages 2014 PODS 4.6089395e-05
7,982 Independence-reducible Database Schemes 1988 PODS 4.6089395e-05
7,983 A Characterization of Constant-time-maintainability for BCNF Database Schemes 1988 SIGMOD 4.6089395e-05
7,987 The Equivalence of Solving Queries and Producing Tree Projections (Extended Abstract) 1986 PODS 4.6089395e-05
8,244 Optimizing Query Answering under Ontological Constraints 2011 VLDB 4.5464433e-05
8,421 Designing Globally Consistent Network Schemas 1983 SIGMOD 4.5115498e-05
8,958 Understanding Queries by Conditional Instances 2022 SIGMOD 4.417947e-05
9,001 Efficiently Enumerating Answers to Ontology-Mediated Queries 2022 PODS 4.4082817e-05
9,045 Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study 2023 VLDB 4.3997447e-05
9,098 Querying Weak Instances 1984 PODS 4.3917473e-05
9,099 The Revenge Of The Jd 1983 PODS 4.3917473e-05
9,186 Leveraging Query Logs for Schema Mapping Generation in U-MAP 2011 SIGMOD 4.3765083e-05
9,339 Local Transformations and Conjunctive-Query Equivalence 2012 PODS 4.351469e-05
9,385 Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning 2022 VLDB 4.342951e-05
9,588 Data Integration and Data Exchange: It’s Really About Time 2013 CIDR 4.3175708e-05
9,713 Materializing Knowledge Bases via Trigger Graphs 2021 VLDB 4.2951473e-05
9,737 The Space-Efficient Core of Vadalog 2019 PODS 4.2895392e-05
9,740 Containment of Conjunctive Object Meta-Queries 2006 VLDB 4.2895392e-05
9,812 Datalog with First-Class Facts 2025 VLDB 4.2742278e-05
9,996 Raqlet: Cross-Paradigm Compilation for Recursive Queries 2026 CIDR 4.1905499e-05
10,362 No Cliques Allowed: The Next Step Towards BDD/FC Conjecture 2025 PODS 4.1905499e-05
10,912 Chase Termination Beyond Polynomial Time 2024 PODS 4.1905499e-05
11,133 The Vadalog Parallel System: Distributed Reasoning with Datalog+/- 2024 VLDB 4.1905499e-05
11,435 Model-theoretic Characterizations of Rule-based Ontologies 2021 PODS 4.1905499e-05
11,560 The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs 2020 PODS 4.1905499e-05
11,837 Semantic Acyclicity Under Constraints 2016 PODS 4.1905499e-05
12,807 Applying an update method to a set of receivers (extended abstract) 1995 PODS 4.1905499e-05
12,935 Polynomial Time Designs toward Both BCNF and Efficient Data Manipulation 1990 SIGMOD 4.1905499e-05
12,936 Efficient Updates to Independent Schemes in the Weak Instance Model 1990 SIGMOD 4.1905499e-05
12,947 Updating Databases in the Weak Instance Model 1989 PODS 4.1905499e-05
12,984 On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies 1987 PODS 4.1905499e-05
12,986 A New Basis for the Weak Instance Model 1987 PODS 4.1905499e-05
13,006 On the Properties and Characterisation of Connection-trap-free Schemes (Extended Abstract) 1986 PODS 4.1905499e-05
13,007 ON FINITE FD-ACYCLICITY (Extended Abstract) 1986 PODS 4.1905499e-05
13,020 Relaxing the Universal Relation Scheme Assumption 1985 PODS 4.1905499e-05
13,042 On the Decomposition of Join Dependencies 1984 PODS 4.1905499e-05
13,060 Inverting Relational Expressions - A Uniform And Natural Technique For Various Database Problems 1983 PODS 4.1905499e-05
13,061 Path Expressions in Databases (Extended Abstract) 1983 PODS 4.1905499e-05
13,062 Algebraic Aspects of Relational Database Decomposition (Extended Abstract) 1983 PODS 4.1905499e-05
13,071 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS 4.1905499e-05
13,073 A Technique For Translating States Between Database Schemata 1982 SIGMOD 4.1905499e-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
6,549 Stratification Criteria and Rewriting Techniques for Checking Chase Termination 2011 VLDB 5.0116687e-05
695 The Chase Revisited 2008 PODS 0.00018013323
3,494 On Chase Termination Beyond Stratification 2009 VLDB 7.0401e-05
7,508 Optimizing the Chase: Scalable Data Integration under Constraints 2014 VLDB 4.7135369e-05
3,007 Benchmarking the Chase 2017 PODS 7.7243073e-05
2,344 Chasing Constrained Tuple-Generating Dependencies 1996 PODS 8.9942907e-05
6,459 Exploiting Equality Generating Dependencies in Checking Chase Termination 2016 VLDB 5.048352e-05
13,071 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS 4.1905499e-05
3,562 Incomplete Information and Dependencies in Relational Databases 1983 SIGMOD 6.9690605e-05
3,503 Dependency Satisfaction in Databases with Incomplete Information 1984 VLDB 7.0332465e-05