A Theory Of Data Dependencies Over Relational Expressions
Summary: Formalizes a tableaux-based proof system for reasoning about a very broad class of data dependencies over relational expressions, subsuming prior dependency classes. Shows soundness and completeness, gives a decision procedure for a key subclass, and frames the method as a generalized chase for DB design. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 861 | Towards a Sound View Integration Methodology | 1983 | PODS | 0.00015801354 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.0007528369 |
| 170 | A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations | 1977 | SIGMOD | 0.00038859332 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,259 | Expressiveness and Complexity of Order Dependencies | 2013 | VLDB | 4.7815192e-05 |
| 2,034 | The Implication And Finite Implication Problems For Typed Template Dependencies | 1982 | PODS | 9.7234933e-05 |
| 1,062 | Assumptions in Relational Database Theory | 1982 | PODS | 0.00014353951 |
| 3,052 | Comprehensive Approach to the Design of Relational Database Schemes | 1984 | VLDB | 7.6485833e-05 |
| 3,503 | Dependency Satisfaction in Databases with Incomplete Information | 1984 | VLDB | 7.0332465e-05 |
| 170 | A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations | 1977 | SIGMOD | 0.00038859332 |
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.0007528369 |
| 25 | Dependency Inference (Extended Abstract) | 1987 | VLDB | 0.00083070519 |
| 13,072 | A Systematic Approach to Relational Database Theory | 1982 | SIGMOD | 4.1905499e-05 |
| 2,512 | First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies | 1978 | SIGMOD | 8.6162269e-05 |