Database Normalization Solver APP
1) Closure of the attributes with respect to a certain set of functional dependencies.
2) Find a minimal basis of the relation.
3) Find keys in the given relation
4) Check if the given functional dependencies are in 3NF
5) Check if the given functional dependencies are in BCNF
6) Decompose the relation to BCNF
7) Decompose the relation to 3NF