ReDNAKET DB Normalization Tool

The Relational Database Normalization And Key Extraction Tool (ReDNAKET) can normalize a database relation/table into 3NF (Third Normal Form) and into BCNF (Boyce–Codd Normal Form). All you have to do is to select the number of attributes your in your table, give their functional dependencies and then this tool will do all the hard work. In addition, you get the candidate keys for the relation with the given functional dependencies, and also the minimal cover of functional dependencies for the relation.

It will handle tables with up to 26 attributes and will generate solutions for all reasonable sets of functional dependencies - in practice it is unlikely that you will have a problem that this tool cannot solve. It has been tested against an extensive set of real world and made-up normalization and key extraction problems and utilizes the current forefront computer science algorithms on this subject (as of December 2015).