Armstrong-Axiome

Die Armstrong-Axiome bilden ein korrektes, vollständiges und minimales Regelwerk zur Ableitung von funktionalen Abhängigkeiten.

Grundaxiome:

1. Reflexivität: $X\supseteq Y\Rightarrow X\to Y$ (Erzeugt triviale FDs).
2. Akkumulation (Augmentation): $X\to Y\Rightarrow XZ\to YZ$.
3. Transitivität: $X\to Y\wedge Y\to Z\Rightarrow X\to Z$.

Abgeleitete Regeln:
4. Dekomposition: $X\to YZ\Rightarrow X\to Y$ (Achtung: Funktioniert nur auf der rechten Seite!).
5. Vereinigung: $X\to Y\wedge X\to Z\Rightarrow X\to YZ$.
6. Pseudotransitivität: $X\to Y\wedge WY\to Z\Rightarrow WX\to Z$.

Links

• Funktionale Abhängigkeit (FD)