4-1 FERMETURE TRANSITIVE
Ensemble de DFE enrichi de toutes les DFE déduites par transitivité.
{NUM-VOL -> NUM-PIL, NUM-VOL -> NUM-AV}
la fermeture transitive sera F+ = F U {NUM-VOL -> NOM-PIL, NUM-VOL -> ADR-PIL, NUM-VOL -> NOM-AV, NUM-VOL -> CAP-AV, NUM-VOL -> LOC-AV}
Graphe des DFE pour la BD "Avions" 4.2 - COUVERTURE MINIMALE
4.2 - COUVERTURE MINIMALE
Ensemble F de DFE associé à un ensemble d'attributs vérifiant les propriétés :
-
Aucune dépendance dans F n'est redondante (ie. pour toute DF f de F, F-{f} n'est pas équivalent à F).
-
Toute DFE des attributs est dans la fermeture transitive de F
Il a été montré que tout ensemble de DFE a une couverture minimale qui n'est en général pas unique.
Si l'on considère la relation :
AVION(NUM-AV, NOM-AV, CAP-AV, LOC-AV)
L'ensemble suivant de DFE est une fermeture transitive :
{NUM-AV -> NOM-AV, NUM-AV -> LOC-AV, NOM-AV -> CAP-AV, NUM-AV -> CAP-AV}
Une couverture minimale :
{NUM-AV -> NOM-AV, NUM-AV -> LOC-AV, NOM-AV -> CAP-AV}