Algorithmus zur Zerlegung in 3NF (1) In der Praxis zerlegt man normalerweise in 3. Normalform. Man kann zeigen, dass Bedingung R = Attribute(R1) (R) ... Attribute(Rk) (R) (Verlustlosigkeit + Konsistenzwahrung) gilt für alle Ausprägungen R von TR, die die Abhängigkeiten in erfüllen, genau dann, wenn die für die Verbindung maßgeblichen (d.h. abzugleichenden) Attribute jeder Teilrelation TRi einen Schlüssel von TRi gemäß i darstellen.
Algorithmus zur Zerlegung in 3NF (2) // Eingabe: Relationstyp TR und Menge von FDs // c sei kanonische Überdeckung von , // in der FDs absteigend nach Anzahl der Attribute sortiert sind (wichtig) // Idee: bilde separaten Relationstyp TRi(X,Y) für jede FD X Y in c, // sofern X Y nicht bereits durch anderen Relationstyp TRj abgedeckt ist i := 0 for each (X Y) c do if j: 1 j i (X Y) Attribute(TRj) then begin j := j {X Y} end else begin i := i +1; TRi := (X Y); i := {X Y} end end if end for // Relationstyp für Schlüssel von TR bilden, falls noch nicht abgedeckt if 1 j i: Attribute(TRj) enthalten nicht Schlüssel von TR then begin i := i +1; TRi := irgendein Schlüssel von TR; i := end end if
Algorithmus zur Zerlegung in 3NF (3) Gewonnene Zerlegung ist i.A. nicht eindeutig, da Wahlfreiheit bzgl. Bildung und Sortierung der kanonischen Überdeckung und Auswahl des Schlüssels im Abschlussschritt besteht.