„Synthesealgorithmus“ – Versionsunterschied

Die Synthesealgorithmus-Normalform beschreibt, wie aus einem Datenbankentwurf ein Relationenschema der dritten Normalform wird.

Ein alternativer Algorithmus ist der Zerlegungsalgorithmus, welcher in die Boyce-Codd-Normalform (BCNF) transferiert. Dabei können allerdings Abhängigkeiten verloren gehen (nicht abhängigkeitstreu).

Voraussetzung

Es müssen alle funktionalen Abhängigkeiten F der zu zerlegenden Relation R unter den Attributen bekannt sein.

Beispiel:

• R = Relation(A,B,C,D,E,F)
• F = { {A} → {B,E}, {A,E} → {B,D}, {F} → {C,D}, {C,D} → {B,E,F}, {C,F} → {B} }

Der Synthesealgorithmus besteht dann aus vier Schritten:

1. Reduktion von F, d.h. die Bestimmung der kanonischen Überdeckung
2. Erzeugen der neuen Relationenschemata aus der kanonischen Überdeckung
3. ggf. die Hinzunahme einer Relation, die nur den Ursprungsschlüssel enthält
4. Elimination der Schemata, die in einem anderen Schema enthalten sind

Reduktion

Dies wird auch die Berechnung der kanonischen Überdeckung genannt.

1.Schritt: Linksreduktion

Für alle $\psi \in \Psi$ ersetze $\Psi \rightarrow \Gamma$ durch $\Psi \setminus \{\psi \}\rightarrow \Gamma$ , falls $\Gamma$ schon durch $\Psi \setminus \{\psi \}\rightarrow \Gamma$ determiniert ist.

Die obige Bedingung lässt sich testen, indem man überprüft, ob $\Gamma \subseteq AttributHuelle(F,\Psi \setminus \{\psi \})$ ist, wobei F die Menge der funktionalen Abhängigkeiten bezeichnet. Falls dies zutrifft, kann $\psi$ aus $\Psi$ entfernt werden.

Beispiel: $Relation\left(A,B,C,D,E,F\right)$

• $A\rightarrow B,E$
• $A\mathbf {E} \rightarrow B,D$
• $F\rightarrow C,D$
• $CD\rightarrow B,E,F$
• $\mathbf {C} F\rightarrow B$

In der zweiten Relation fällt E weg, da sich B und D in der Attributehülle von A ($A^{+}$ = {A,B,D,E}) befinden. In der letzten Relation fällt C weg, wegen $F^{+}$ = {B,C,D,E,F}. Man kann es auch so formulieren: E wird in $AE\rightarrow B,D$ nicht benötigt, um B,D zu erreichen.

Lösung:

• $A\rightarrow B,E$
• $A\rightarrow B,D$
• $F\rightarrow C,D$
• $CD\rightarrow B,E,F$
• $F\rightarrow B$

2.Schritt: Rechtsreduktion

Für alle $\gamma \in \Gamma$ ersetze $\Psi \rightarrow \Gamma$ durch $\Psi \rightarrow \Gamma \setminus \{\gamma \}$, falls $\gamma$ schon transitiv durch $\Psi$ bestimmt ist.

Die obige Bedingung lässt sich überprüfen, indem man für jedes $\gamma \in \Gamma$ testet, ob $\gamma \in {\text{AttributHuelle}}((F\setminus (\Psi \rightarrow \Gamma ))\cup (\Psi \rightarrow (\Gamma \setminus \gamma )),\Psi )$ ist. Falls dies zutrifft, kann γ aus Γ entfernt werden.

An obigem Beispiel:

• $A\rightarrow \mathbf {B} ,E$
• $A\rightarrow B,D$
• $F\rightarrow C,D$
• $CD\rightarrow \mathbf {B} ,E,F$
• $F\rightarrow B$

In der ersten Relation fällt B weg, da $A_{F'}^{+}$ = {A,B,D,E}. In der vierten Relation fällt ebenfalls das B weg, wegen $CD_{F'}^{+}$ = {B,C,D,E,F}.

• $A\rightarrow E$
• $A\rightarrow B,D$
• $F\rightarrow C,D$
• $CD\rightarrow E,F$
• $F\rightarrow B$

3.Schritt: Leere Klauseln

Eliminiere Klauseln der Form $\Psi \rightarrow \varnothing$

Im Beispiel aus Schritt 2 gibt es keine Abhängigkeiten mit leerer, rechter Seite. Also gibt es in diesem Fall hier nichts zu tun.

4.Schritt: Zusammenfassen

Fasse Formeln $a\rightarrow b_{0},a\rightarrow b_{1}\dots$ zu $a\rightarrow b_{0}\cup b_{1}\dots$ zusammen.

Im Beispiel fassen wir nun Ausdrücke mit gleicher linker Seite zusammen:

• $A\rightarrow E,B,D$
• $F\rightarrow C,D,B$
• $CD\rightarrow E,F$

Neues Relationenschema

Aus allen Ψ $\to$ Γ wird R(Ψ, Γ).

Zusätzlich muss ein neuer Schlüssel gefunden werden. Gegebenenfalls muss eine neue Relation erzeugt werden. Überflüssige Relationen können gestrichen werden, wenn diese in anderen enthalten sind.

Am Beispiel:

• $R_{1}$(A,B,D,E) # A ist Primärschlüssel
• $R_{2}$(B,C,D,F) # F ist Primärschlüssel
• $R_{3}$(C,D,E,F) # CD ist Primärschlüssel (Die Elemente dieser Relation sind zwar schon durch $R_{1}$ und $R_{2}$ gegeben, jedoch muss zur Abhängigkeitserhaltung diese weiterhin aufgeführt werden, es dürfte nur entfernt werden, wenn eine Relation vollends in einer anderen enthalten wäre. Dies ist jedoch nicht möglich, da diese Fälle vorher durch die Links- und Rechtsreduktion entfernt würden.)

Hinzufügen einer Relation

Nun muss durch Hinzunahme einer Relation eine Beziehung zwischen $R_{1}$, $R_{2}$ und $R_{3}$ hergestellt werden. Dies wird durch eine Relation $R_{4}$ ermöglicht, die nur den Ursprungsschlüssel AF ($AF^{+}$={A,B,C,D,E,F}) enthält. Wir erhalten ein Schema in der 3. Normalform wie folgt:

• $R_{1}$(A,B,D,E)
• $R_{2}$(B,C,D,F)
• $R_{3}$(C,D,E,F)
• $R_{4}$(A,F), wobei A und F jeweils Fremdschlüssel darstellen und zusammengenommen den Primärschlüssel von $R_{4}$ erzeugen.

Formaler Algorithmus

Eingabe: universelles Schema R=(U,F)
Ausgabe: 3. Normalform D von R

B:=Reduktion(F)
R:={}
i:=0
for each $Y\subseteq U$ mit $(\exists A\in U):Y\rightarrow A\in B$
   i := i+1
   $X_{i}:=Y\cup \{A\in U|Y\rightarrow A\in B\}$
   $R_{i}:=(X_{i},\pi _{X_{i1}}(B))$
   $R:=R\cup \{R_{i}\}$
if $(\forall R_{i}\in R):X_{i}\rightarrow U\notin B^{+}$
   i: = i+1
   $R:=R\cup \{R_{i}\}$
$D:=(R,\{\ \})$