Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies
Summary: Demonstrates there is no finite, complete rule set for Embedded Multivalued Dependencies (EMVDs) and Transitive Dependencies (TDs). Explicitly constructs irreducible n-ary EMVD inference rules for all n, via Paredaens' TD framework, illustrating failure of unary/binary rule sets. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,180 | The Design of non-1NF Relational Databases into Nested Normal Form | 1987 | SIGMOD | 5.1686632e-05 |
| 6,651 | Sort Sets in the Relational Model* (extended abstract) | 1983 | PODS | 4.9763125e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 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 |
| 2,279 | First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies | 1978 | SIGMOD | 9.1162095e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,448 | The Interaction between Functional Dependencies and Template Dependencies | 1980 | SIGMOD | 6.1785017e-05 |
| 1,401 | Extending Dependencies with Conditions | 2007 | VLDB | 0.00012187775 |
| 25 | Dependency Inference (Extended Abstract) | 1987 | VLDB | 0.00083101742 |
| 4,169 | Reasoning about Nested Functional Dependencies | 1999 | PODS | 6.3905263e-05 |
| 104 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00048766186 |
| 2,058 | Functional and Inclusion Dependencies: A Graph Theoretic Approach | 1984 | PODS | 9.6585264e-05 |
| 2,032 | The Implication And Finite Implication Problems For Typed Template Dependencies | 1982 | PODS | 9.7332616e-05 |
| 170 | A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations | 1977 | SIGMOD | 0.0003886136 |
| 1,954 | Inference Rules for Functional and Inclusion Dependencies | 1983 | PODS | 9.9639379e-05 |
| 8,316 | Multi-valued Dependencies in the Presence of Lists | 2004 | PODS | 4.5435639e-05 |