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: 2110
Venue: SIGMOD
Year: 1977
Pagerank: 0.00017513721
Overall Rank: 495 | 96.61%
DOI: 10.1145/509404.509414

Incoming Non-self Citations Over Time

Authors

1. Catriel Beeri (Princeton University)
2. Ronald Fagin (IBM)
3. John H. Howard (IBM)

BibTeX Citation

@inproceedings{beeri_sigmod77,
        title = {{A COMPLETE AXIOMATIZATION FOR FUNCTIONAL AND MULTIVALUED DEPENDENCIES IN DATABASE RELATIONS}},
        author = {Beeri, Catriel and Fagin, Ronald and Howard, John H.},
        series = {{SIGMOD} '77},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/509404.509414},
        url = {https://dl.acm.org/doi/10.1145/509404.509414},
        year = {1977}
}

Incoming Citations (Sorted by Pagerank)

Showing 15 of 15 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
162	Inclusion dependencies and their interaction with functional dependencies (Extended abstract)	1982	PODS	0.00027886326
266	Can We Use The Universal Instance Assumption Without Using Nulls?	1981	SIGMOD	0.00022823892
540	Synthesizing Independent Database Schemas	1979	SIGMOD	0.0001686137
3,276	On Equivalences of Database Schemes	1982	PODS	7.5732637e-05
3,461	Inference Rules for Functional and Inclusion Dependencies	1983	PODS	7.3938918e-05
3,504	Elimination of Intersection Anomalies from Database Schemes (Extended Abstract)	1983	PODS	7.3590322e-05
3,529	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD	7.3387532e-05
4,160	The Interaction between Functional Dependencies and Template Dependencies	1980	SIGMOD	6.8622758e-05
5,249	Computing Covers for Embedded Functional Dependencies	1987	PODS	6.2996929e-05
6,505	Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies	1980	SIGMOD	5.8583679e-05
6,698	Properties Of Database Schemata With Functional Dependencies	1984	PODS	5.7985588e-05
6,929	Mining Approximate Acyclic Schemes from Relations	2020	SIGMOD	5.7369354e-05
7,126	Sort Sets in the Relational Model* (extended abstract)	1983	PODS	5.695798e-05
12,414	When Data Dependencies over SQL Tables Meet the Logics of Paradox and S-3	2010	PODS	5.093636e-05
13,259	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS	5.093636e-05

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
589	On The Semantics Of The Relational Data Model	1975	SIGMOD	0.00016066932

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,160	The Interaction between Functional Dependencies and Template Dependencies	1980	SIGMOD
2	3,222	Comprehensive Approach to the Design of Relational Database Schemes	1984	VLDB
3	1,537	Assumptions in Relational Database Theory	1982	PODS
4	162	Inclusion dependencies and their interaction with functional dependencies (Extended abstract)	1982	PODS
5	6,698	Properties Of Database Schemata With Functional Dependencies	1984	PODS
6	9,332	Unifying Functional and Multivalued Dependencies for Relational Database Design	1986	PODS
7	4,487	Reasoning about Nested Functional Dependencies	1999	PODS
8	3,529	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD
9	203	Dependency Inference	1987	VLDB
10	3,461	Inference Rules for Functional and Inclusion Dependencies	1983	PODS