Database Paper Browser

Back to papers

A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations

Summary: Presents a complete axiomatisation of inference rules for functional and multivalued dependencies in relations, showing most FD rules have MVD analogues. Adds a distinct MVD-only rule and mixed FD/MVD rules, proving completeness of the joint rule set. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID
2049
Venue
SIGMOD
Year
1977
Pagerank
0.00038859332
Overall Rank
170 | 98.83%
DOI
-

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 15 of 15 citing papers.

Rank Citing Paper Year Venue Pagerank
105 Inclusion dependencies and their interaction with functional dependencies (Extended abstract) 1982 PODS 0.00049082041
131 Can We Use The Universal Instance Assumption Without Using Nulls? 1981 SIGMOD 0.00043719033
355 Synthesizing Independent Database Schemas 1979 SIGMOD 0.00026204925
1,960 Inference Rules for Functional and Inclusion Dependencies 1983 PODS 9.9543811e-05
2,512 First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies 1978 SIGMOD 8.6162269e-05
3,023 On Equivalences of Database Schemes 1982 PODS 7.6919854e-05
3,205 Elimination of Intersection Anomalies from Database Schemes (Extended Abstract) 1983 PODS 7.3865318e-05
4,421 The Interaction between Functional Dependencies and Template Dependencies 1980 SIGMOD 6.1939227e-05
4,465 Computing Covers for Embedded Functional Dependencies 1987 PODS 6.1547963e-05
6,087 Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies 1980 SIGMOD 5.2150531e-05
6,604 Properties Of Database Schemata With Functional Dependencies 1984 PODS 4.9923197e-05
6,653 Sort Sets in the Relational Model* (extended abstract) 1983 PODS 4.9708404e-05
7,073 Mining Approximate Acyclic Schemes from Relations 2020 SIGMOD 4.8378353e-05
12,227 When Data Dependencies over SQL Tables Meet the Logics of Paradox and S-3 2010 PODS 4.1905499e-05
13,071 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS 4.1905499e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
120 On The Semantics Of The Relational Data Model 1975 SIGMOD 0.00045634921
Previous Page 1 / 1 Next

Semantically Similar Papers

Overall Rank Paper Year Venue Pagerank
4,421 The Interaction between Functional Dependencies and Template Dependencies 1980 SIGMOD 6.1939227e-05
3,052 Comprehensive Approach to the Design of Relational Database Schemes 1984 VLDB 7.6485833e-05
1,062 Assumptions in Relational Database Theory 1982 PODS 0.00014353951
105 Inclusion dependencies and their interaction with functional dependencies (Extended abstract) 1982 PODS 0.00049082041
6,604 Properties Of Database Schemata With Functional Dependencies 1984 PODS 4.9923197e-05
9,118 Unifying Functional and Multivalued Dependencies for Relational Database Design 1986 PODS 4.388537e-05
4,166 Reasoning about Nested Functional Dependencies 1999 PODS 6.3843679e-05
2,512 First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies 1978 SIGMOD 8.6162269e-05
25 Dependency Inference (Extended Abstract) 1987 VLDB 0.00083070519
1,960 Inference Rules for Functional and Inclusion Dependencies 1983 PODS 9.9543811e-05