BCNF Solver

This tool decomposes a relation to satisfy the Boyce-Codd normal form.