![[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: