1.9 KiB
1.9 KiB
!6-RelDesign.pdf
Kriterien für "gute" relationale Schemata definieren.
Funktionale Abhängigkeiten
!
!
Schlüssel a: Superschlüssel a bestimmt alle Attributwerte eindeutig b ist Voll funktional abhängig von a wenn kein Attribut in a überflüssig ist a ist Schlüsselkandidat wenn a ein minimaler Superschlüssel ist Primärschlüssel ist der ausgewählte Schlüssel
Armstrong Kalkül
Die Hülle F+ wird definiert als die Menge aller FDs die logisch aus F folgen
!
!
Beispiel:
!
!
!
Kanonische Überdeckung
Fc heißt Kanonische Überdeckung von F wenn folgende Bedingungen erfüllt sind:
!
!
Linksreduktion:
!
Rechtsreduktion:
!
Abschluss:
!
Zerlegung von Relationen
Kleinere bessere Schemata ohne Informationsverlust
!
!
!
!
Normalform und Normalisierung
Messbare Level der Schemaqualität
- 1NF: Erste Normalform
- 2NF: Zweite Normalform
- 3NF: Dritte Normalform
- BCNF: Boyce-Codd-Normalform
1NF
!
2NF
!
!
3NF
!
Bei jeder FD zu einem Nichtschlüsselattribut MUSS links ein Superschlüssel stehen
!
BCNF
!
!
!