83 lines
1.9 KiB
Markdown
83 lines
1.9 KiB
Markdown
![[6-RelDesign.pdf]]
|
|
|
|
Kriterien für "gute" relationale Schemata definieren.
|
|
|
|
|
|
## Funktionale Abhängigkeiten
|
|
![[Pasted image 20260723153729.png]]
|
|
![[Pasted image 20260723154353.png]]
|
|
|
|
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
|
|
![[Pasted image 20260723160258.png]]
|
|
![[Pasted image 20260723160309.png]]
|
|
Beispiel:
|
|
![[Pasted image 20260723160338.png]]
|
|
![[Pasted image 20260723160510.png]]
|
|
![[Pasted image 20260723160528.png]]
|
|
|
|
## Kanonische Überdeckung
|
|
Fc heißt Kanonische Überdeckung von F wenn folgende Bedingungen erfüllt sind:
|
|
![[Pasted image 20260723160938.png]]
|
|
![[Pasted image 20260723161019.png]]
|
|
|
|
Linksreduktion:
|
|
![[Pasted image 20260723161032.png]]
|
|
|
|
Rechtsreduktion:
|
|
![[Pasted image 20260723161044.png]]
|
|
|
|
Abschluss:
|
|
![[Pasted image 20260723161104.png]]
|
|
|
|
## Zerlegung von Relationen
|
|
Kleinere bessere Schemata ohne Informationsverlust
|
|
![[Pasted image 20260723161534.png]]
|
|
![[Pasted image 20260723161629.png]]
|
|
![[Pasted image 20260723161646.png]]
|
|
![[Pasted image 20260723161904.png]]
|
|
|
|
|
|
## Normalform und Normalisierung
|
|
Messbare Level der Schemaqualität
|
|
- 1NF: Erste Normalform
|
|
- 2NF: Zweite Normalform
|
|
- 3NF: Dritte Normalform
|
|
- BCNF: Boyce-Codd-Normalform
|
|
|
|
### 1NF
|
|
![[Pasted image 20260723162352.png]]
|
|
|
|
### 2NF
|
|
![[Pasted image 20260723162423.png]]
|
|
![[Pasted image 20260723162524.png]]
|
|
|
|
### 3NF
|
|
![[Pasted image 20260723162705.png]]
|
|
Bei jeder FD zu einem Nichtschlüsselattribut MUSS links ein Superschlüssel stehen
|
|
![[Pasted image 20260723162752.png]]
|
|
|
|
|
|
### BCNF
|
|
![[Pasted image 20260723163032.png]]
|
|
![[Pasted image 20260723163350.png]]
|
|
![[Pasted image 20260723163404.png]]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|