Normalisierungs-Coach & FD-Synthese

Überprüfen Sie funktionale Abhängigkeiten ($F$), berechnen Sie Attributhüllen ($X^+$), bestimmen Sie alle Kandidatenschlüssel, testen Sie auf Normalformen (1NF, 2NF, 3NF, BCNF) mit Live-Animation und führen Sie den 3NF-Synthesealgorithmus nach Bernstein interaktiv durch.

[+] Klausur-Beispiele:

Relationsschema $R$

Kommagetrennt

Attribute $R(A_1, A_2, \dots)$:

Attributhülle berechnen für $X$:

Funktionale Abhängigkeiten $F$

Format: A, B -> C

▶

Live NF-Prüfanimation & Diagnose-Pipeline

Schrittweises Visualisieren der 1NF, 2NF, 3NF und BCNF Prüfschritte

Aktiver Prüfschritt Bereit

Klicken Sie auf „Prüfung abspielen“ oder „Einzelschritt“, um die detaillierte Normalformen-Prüfung visuell Schritt für Schritt nachzuvollziehen.

Schritt 0 / 6

$ Tabellen-Visualisierung: Ausgangs-Relation R(...)

Kandidatenschlüssel

VorlNr

Aktuelle Normalform

Nicht 2NF / Nicht 3NF

Minimale Überdeckung $F_c$

2 FDs

3NF Synthese Relationen

2 Schemata ($R_1, R_2$)

Normalformen-Diagnose (1NF - BCNF)

Verletzungen & Kriterien

3NF Synthesealgorithmus (Bernstein)