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,791 | Practical algorithms for finding prime attributes and testing normal forms | 1989 | PODS | 5.3247079e-05 |
| 6,385 | Propagating Functional Dependencies with Conditions | 2008 | VLDB | 5.0826969e-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.00038859332 |
| 3,086 | Reflections on Boyce-Codd Normal Form | 1982 | VLDB | 7.5948483e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,096 | Database Decomposition Into Fourth Normal Form | 1983 | VLDB | 7.5755731e-05 |
| 3,052 | Comprehensive Approach to the Design of Relational Database Schemes | 1984 | VLDB | 7.6485833e-05 |
| 12,935 | Polynomial Time Designs toward Both BCNF and Efficient Data Manipulation | 1990 | SIGMOD | 4.1905499e-05 |
| 9,118 | Unifying Functional and Multivalued Dependencies for Relational Database Design | 1986 | PODS | 4.388537e-05 |
| 6,604 | Properties Of Database Schemata With Functional Dependencies | 1984 | PODS | 4.9923197e-05 |
| 3,824 | Embedded Functional Dependencies and Data-completeness Tailored Database Design | 2019 | VLDB | 6.7233576e-05 |
| 6,182 | The Design of non-1NF Relational Databases into Nested Normal Form | 1987 | SIGMOD | 5.1637091e-05 |
| 12,983 | Logical Design of Relational Database Schemes | 1987 | PODS | 4.1905499e-05 |
| 25 | Dependency Inference (Extended Abstract) | 1987 | VLDB | 0.00083070519 |
| 7,982 | Independence-reducible Database Schemes | 1988 | PODS | 4.6089395e-05 |