Wiki

A universe of ideas

User Tools

Site Tools


uni:5:dbs

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
uni:5:dbs [2014-01-30 01:47] – [Normalisierung] skrupellosuni: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 Sonst: Vom Schlüssel nicht voll funktional Abhängige Attribute werden herausgelöst, in eigene Tabelle
  
-=== Boyce-Codee-Normalform ===+=== 3. NF ===
 Bedingung Bedingung
-> //Jede// FD $X \rightarrow Aentweder +<WRAP help 60%> 
-tivial +//Jede// FD $X \rightarrow Yist 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 
 +    - $\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 === === Boyce-Codee-Normalform ===
 Bedingung 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 === === 4. NF ===
Line 231: Line 253:
  
 Bedingung 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. MVD (Multi Valued Dependency): //Mehre// Attribut//werte//, eines Attributs, sind von der linken Seite abhängig.
uni/5/dbs.1391042861.txt.gz · Last modified: (external edit)