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 |
|---|---|---|---|---|
| 863 | Towards a Sound View Integration Methodology | 1983 | PODS | 0.00015817182 |
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.00075110004 |
| 170 | A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations | 1977 | SIGMOD | 0.0003886136 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,261 | Expressiveness and Complexity of Order Dependencies | 2013 | VLDB | 4.7861106e-05 |
| 2,032 | The Implication And Finite Implication Problems For Typed Template Dependencies | 1982 | PODS | 9.7332616e-05 |
| 1,062 | Assumptions in Relational Database Theory | 1982 | PODS | 0.00014366096 |
| 3,047 | Comprehensive Approach to the Design of Relational Database Schemes | 1984 | VLDB | 7.6561027e-05 |
| 3,496 | Dependency Satisfaction in Databases with Incomplete Information | 1984 | VLDB | 7.0397186e-05 |
| 170 | A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations | 1977 | SIGMOD | 0.0003886136 |
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.00075110004 |
| 25 | Dependency Inference (Extended Abstract) | 1987 | VLDB | 0.00083101742 |
| 13,060 | A Systematic Approach to Relational Database Theory | 1982 | SIGMOD | 4.1945683e-05 |
| 2,279 | First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies | 1978 | SIGMOD | 9.1162095e-05 |