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,182 | The Design of non-1NF Relational Databases into Nested Normal Form | 1987 | SIGMOD | 5.1637091e-05 |
| 6,653 | Sort Sets in the Relational Model* (extended abstract) | 1983 | PODS | 4.9708404e-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.0007528369 |
| 170 | A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations | 1977 | SIGMOD | 0.00038859332 |
| 2,512 | First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies | 1978 | SIGMOD | 8.6162269e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,405 | Extending Dependencies with Conditions | 2007 | VLDB | 0.00012174499 |
| 4,421 | The Interaction between Functional Dependencies and Template Dependencies | 1980 | SIGMOD | 6.1939227e-05 |
| 25 | Dependency Inference (Extended Abstract) | 1987 | VLDB | 0.00083070519 |
| 4,166 | Reasoning about Nested Functional Dependencies | 1999 | PODS | 6.3843679e-05 |
| 105 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00049082041 |
| 2,064 | Functional and Inclusion Dependencies: A Graph Theoretic Approach | 1984 | PODS | 9.6485054e-05 |
| 2,034 | The Implication And Finite Implication Problems For Typed Template Dependencies | 1982 | PODS | 9.7234933e-05 |
| 170 | A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations | 1977 | SIGMOD | 0.00038859332 |
| 1,960 | Inference Rules for Functional and Inclusion Dependencies | 1983 | PODS | 9.9543811e-05 |
| 8,310 | Multi-valued Dependencies in the Presence of Lists | 2004 | PODS | 4.5392079e-05 |