School-OverviewFlashcardsDMIS_05LB_2.6

Alle funktionalen Abhängigkeiten finden

Frage

Alle funktionalen Abhängigkeiten finden Wie kann die vollständige Menge aller aus einer gegebenen Menge funktionaler Abhängigkeiten ableitbaren Abhängigkeiten bestimmt werden?

Antwort

Die vollständige Menge, die sogenannte Hülle F⁺, wird durch Anwendung der Armstrong-Axiome berechnet: 1. Reflexivität – wenn X ⊇ Y, dann X → Y; 2. Erweiterbarkeit – wenn X → Y, dann XZ → YZ; 3. Transitivität – wenn X → Y und Y → Z, dann X → Z.