Differences

This shows you the differences between two versions of the page.

--- uni:5:dbs [2014-01-30 01:47] – [Normalisierung] skrupellos
+++ uni:5:dbs [2020-11-18 18:11] (current) – external edit 127.0.0.1
@@ Line 210: / Line 210: @@
 Sonst: Vom Schlüssel nicht voll funktional Abhängige Attribute werden herausgelöst, in eigene Tabelle
-=== Boyce-Codee-Normalform ===
+=== 3. NF ===
 Bedingung
-> //Jede// FD $X \rightarrow A$ entweder
+<WRAP help 60%>
-> tivial
+//Jede// FD $X \rightarrow Y$ ist mindestens eins:
-> -- oder --
+  * tivial
-> A ist prim
+  * X enthält Schlüsselkandidat
-> -- oder --
+  *  $\forall a \in (Y-X)$  ist prim
-> X enthält Schlüsselkandidat
+</WRAP>
+<WRAP info 60%>
+Keine (nicht trivialen) FDs unter Nicht-Schlüssel-Attributen
+</WRAP>
+  - **Kanonische Überdeckung**
+    - Linksreduktion  \\ Komme ich von //X-x// und //identischem FD// dennoch auf Y, dann streiche x aus X
+    - Rechtsreduktion \\ Komme ich von //X// und //FD ohne y// dennoch auf y in Y, dann streiche y aus Y
+    - $X \rightarrow \emptyset$ entfernen
+    - Gleiche X zusammenfassen
+  - **Relationsschema erzeugen und FDs zuweisen**
+    - Aus jedem FD erzeuge eine Relation mit X als Primärschlüssel und Y als Attribute
+    - Ordne jedes FD den Relationen zu, die alle seine "Buchstaben" enthält
+  - **Schlüsselkandidat rekonstruieren** \\ Stelle sicher, dass eine Relation einen ehemaligen Schlüsselkandidaten enthält, notfalls erzeuge eine neue mit leerem ohne zugeordnete FDs
+  - **Überflüssige Relationen eliminieren** \\ Lösche Relationen, die Teilmenge einer anderen sind.
 === Boyce-Codee-Normalform ===
 Bedingung
-> //Jede// FD  $X \rightarrow Y$  entweder
+<WRAP help 60%>
-> tivial
+//Jede// FD  $X \rightarrow Y$  ist mindestens eins:
-> -- oder --
+  * tivial
-> X enthält Schlüsselkandidat
+  * X enthält Schlüsselkandidat
+</WRAP>
+<WRAP info 60%>
+Keine (nicht trivialen) FDs unter Schlüssel-Attributen
+</WRAP>
 === 4. NF ===
@@ Line 231: / Line 253: @@
 Bedingung
-> //Jede// MVD  $X \twoheadrightarrow Y$  entweder
+<WRAP help 60%>
-> tivial
+//Jede// MVD  $X \twoheadrightarrow Y$  ist mindestens eins:
-> -- oder --
+  * tivial
-> X enthält Schlüsselkandidat
+  * X enthält Schlüsselkandidat
+</WRAP>
 MVD (Multi Valued Dependency): //Mehre// Attribut//werte//, eines Attributs, sind von der linken Seite abhängig.