Lernsoftware für Datenmodellierung und Prüfen auf dritte Normalform gesucht

[Redeemer]

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.