Du solltest dich mal in das Thema einlesen, was diese NFs eigentlich sind. Dann wird dir sofort klar: Ein solches Programm gibt es nicht, weil es so ein Programm nicht geben kann. Die NFs sind keine Algorithmen sondern Definitionen zur Überprüfung, ob ein gewisser Zustand vorliegt. Um das zu überprüfen, müsste man zunächst die komplette Semantik des Schemas und des Sachzusammenhangs verstehen. Ein Programm, das alle Sachzusammenhänge der Welt kennt, kann keiner programmieren, gerade wenn nur das Schema vorliegt. Wenn dazu eine sehr große Menge an Datensätzen vorliegt, kann man u.U. sehr gewagte Vermutungen anstellen, mehr aber auch nicht.
tl;dr: Technisch-semantisch nicht möglich.
Wieso nicht? Es gibt sogar
Algorithmen, die automatisch Normalformen erzeugen. Dazu müssen natürlich die
Abhängigkeiten vorher spezifiziert sein.