First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies
Summary: FOL is proposed as a unifying formalization for functional, multivalued, and mutual dependencies in relational databases. The paper shows logic-based expressions of dependencies and derives properties, arguing advantages over tailored formalisms. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,918 | Notions of Dependency Satisfaction | 1982 | PODS | 7.9051531e-05 |
| 6,083 | Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies | 1980 | SIGMOD | 5.2201823e-05 |
| 13,060 | A Systematic Approach to Relational Database Theory | 1982 | SIGMOD | 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 |
|---|---|---|---|---|
| 170 | A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations | 1977 | SIGMOD | 0.0003886136 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,601 | A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract) | 1986 | PODS | 5.4153386e-05 |
| 7,261 | Expressiveness and Complexity of Order Dependencies | 2013 | VLDB | 4.7861106e-05 |
| 7,115 | Functional Dependencies in Logic Programs | 1985 | VLDB | 4.8270439e-05 |
| 6,603 | Properties Of Database Schemata With Functional Dependencies | 1984 | PODS | 4.9971153e-05 |
| 4,169 | Reasoning about Nested Functional Dependencies | 1999 | PODS | 6.3905263e-05 |
| 6,180 | The Design of non-1NF Relational Databases into Nested Normal Form | 1987 | SIGMOD | 5.1686632e-05 |
| 13,060 | A Systematic Approach to Relational Database Theory | 1982 | SIGMOD | 4.1945683e-05 |
| 6,437 | Fundamentals of Order Dependencies | 2012 | VLDB | 5.0631488e-05 |
| 170 | A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations | 1977 | SIGMOD | 0.0003886136 |
| 13,059 | A Theory Of Data Dependencies Over Relational Expressions | 1982 | PODS | 4.1945683e-05 |