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
2048
Venue
SIGMOD
Year
1977
Pagerank
0.0003886136
Overall Rank
170 | 98.82%
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
104 Inclusion dependencies and their interaction with functional dependencies (Extended abstract) 1982 PODS 0.00048766186
135 Can We Use The Universal Instance Assumption Without Using Nulls? 1981 SIGMOD 0.00042421957
356 Synthesizing Independent Database Schemas 1979 SIGMOD 0.00026034713
1,954 Inference Rules for Functional and Inclusion Dependencies 1983 PODS 9.9639379e-05
2,279 First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies 1978 SIGMOD 9.1162095e-05
3,019 On Equivalences of Database Schemes 1982 PODS 7.6994314e-05
3,198 Elimination of Intersection Anomalies from Database Schemes (Extended Abstract) 1983 PODS 7.3938086e-05
4,448 The Interaction between Functional Dependencies and Template Dependencies 1980 SIGMOD 6.1785017e-05
4,463 Computing Covers for Embedded Functional Dependencies 1987 PODS 6.160725e-05
6,083 Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies 1980 SIGMOD 5.2201823e-05
6,603 Properties Of Database Schemata With Functional Dependencies 1984 PODS 4.9971153e-05
6,651 Sort Sets in the Relational Model* (extended abstract) 1983 PODS 4.9763125e-05
7,076 Mining Approximate Acyclic Schemes from Relations 2020 SIGMOD 4.8426354e-05
12,219 When Data Dependencies over SQL Tables Meet the Logics of Paradox and S-3 2010 PODS 4.1945683e-05
13,059 A Theory Of Data Dependencies Over Relational Expressions 1982 PODS 4.1945683e-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.00045646715
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
3,047 Comprehensive Approach to the Design of Relational Database Schemes 1984 VLDB 7.6561027e-05
1,062 Assumptions in Relational Database Theory 1982 PODS 0.00014366096
104 Inclusion dependencies and their interaction with functional dependencies (Extended abstract) 1982 PODS 0.00048766186
6,603 Properties Of Database Schemata With Functional Dependencies 1984 PODS 4.9971153e-05
9,119 Unifying Functional and Multivalued Dependencies for Relational Database Design 1986 PODS 4.3927483e-05
4,169 Reasoning about Nested Functional Dependencies 1999 PODS 6.3905263e-05
2,279 First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies 1978 SIGMOD 9.1162095e-05
25 Dependency Inference (Extended Abstract) 1987 VLDB 0.00083101742
1,954 Inference Rules for Functional and Inclusion Dependencies 1983 PODS 9.9639379e-05