Tag
functional-dependencies
- Jun 10, 2026 Boyce-Codd Normal Form and the Cost of Losing a Dependency Why BCNF decomposition can make a functional dependency unverifiable without a join, how 3NF avoids that, and when the extra anomaly is the better trade. databases
- Jan 23, 2024 Attribute Closure and the Mechanical Derivation of Candidate Keys How Armstrong axioms generate the closure of a dependency set, why closure of an attribute set is computed by repeated scanning, and how to enumerate minimal keys without exponential search. databases