Algorithm · Lossless Decomposition
BCNF Decomposition Calculator
Boyce-Codd Normal Form
Lossless join guaranteed
Violating FD detection
Comma-separated attribute names
Format: LHS -> RHS · Comma-separate multiple attributes on each side
Algorithm · Synthesis
3NF Synthesis Calculator
Third Normal Form
Dependency preserving
Lossless join guaranteed
Comma-separated attribute names
Format: LHS -> RHS · Comma-separate multiple attributes on each side
Algorithm · Minimal FD Set
Canonical Cover Calculator
Minimal cover Fc
Removes extraneous attributes
Removes redundant FDs
Format: LHS -> RHS · Comma-separate multiple attributes on each side