Computing Covers for Embedded Functional Dependencies
Summary: Computes covers for functional dependencies embedded in a sub-schema and presents Reduction By Resolution (RBR), an algorithm that simplifies solving embedded-FD cover problems. Although worst-case exponential, RBR is polynomial on many input classes and enables BCNF testing and decomposition. (summarized by gpt-5-mini 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 |
|---|---|---|---|---|
| 5,781 | Practical algorithms for finding prime attributes and testing normal forms | 1989 | PODS | 5.3298267e-05 |
| 6,385 | Propagating Functional Dependencies with Conditions | 2008 | VLDB | 5.0875028e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 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 |
| 3,111 | Reflections on Boyce-Codd Normal Form | 1982 | VLDB | 7.5474137e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,090 | Database Decomposition Into Fourth Normal Form | 1983 | VLDB | 7.582872e-05 |
| 3,047 | Comprehensive Approach to the Design of Relational Database Schemes | 1984 | VLDB | 7.6561027e-05 |
| 12,925 | Polynomial Time Designs toward Both BCNF and Efficient Data Manipulation | 1990 | SIGMOD | 4.1945683e-05 |
| 9,119 | Unifying Functional and Multivalued Dependencies for Relational Database Design | 1986 | PODS | 4.3927483e-05 |
| 6,603 | Properties Of Database Schemata With Functional Dependencies | 1984 | PODS | 4.9971153e-05 |
| 3,818 | Embedded Functional Dependencies and Data-completeness Tailored Database Design | 2019 | VLDB | 6.7300958e-05 |
| 6,180 | The Design of non-1NF Relational Databases into Nested Normal Form | 1987 | SIGMOD | 5.1686632e-05 |
| 12,973 | Logical Design of Relational Database Schemes | 1987 | PODS | 4.1945683e-05 |
| 25 | Dependency Inference (Extended Abstract) | 1987 | VLDB | 0.00083101742 |
| 7,979 | Independence-reducible Database Schemes | 1988 | PODS | 4.613363e-05 |