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

[nahpets]

Ja schon, aber wenn ich die Spezifikation nicht habe, wie soll das dann gehen?

Wenn nun jemand einfach mal ein halbes Dutzend (oder so) Tabellen erstellt, wie kann ich dann per Software prüfen, ob die normalisiert sind oder auch nicht, wie kann ich da Fehler feststellen und darauf hinweisen?

Ich benötige doch als Mensch zumindest Informationen zum Inhalt, damit ich eine entsprechende Prüfung des Datenmodells vornehmen kann.

Eine Software müsste dann ja den Inhalt der Tabellen analysieren können, um so Abhängigkeiten zu erkennen und ggfls. auf Redundanzen hinweisen zu können, die eine Veränderung des Datenmodells nahelegen, damit es einer Normalisierung näher kommt.

Wie kann ich so eine Prüfung per Software realsieren?

(Oder bin ich da gedanklich gerade vollkommen auf dem falschen Dampfer?)

Die verlinkten Seiten bei Wikipedia sind ja durchaus interessant und nach zwei-, dreimal lesen auch verständlich (ist halt kein triviales Thema), mir fehlt nur jeder gedankliche Ansatz, wie ich eine Software gestalten muss, damit sie bei einem gegebenen Datenmodell eine entsprechende Prüfung durchführen kann und auf Fehler hinweist?