BCNF Solver
This tool decomposes a relation to satisfy the Boyce-Codd normal form.
Attributes
FDs
Solve
Solution
Decomposed relations
Steps