[AIDE] Base de donnees couverture minimale

Bonjour j'ai un probleme qui me casse un peu la tete et j'espere que vous pourrez m'aider :

soit un schéma (R[ABCDEF],S={A->B, C->D, ABC->E, AC->F, BC->FA})

Je dois calculer UNE couverture minimale irredondante de S.

En utilisant cet algo :

- transformer les DF en DF élémentaires (un seul attribut en partie droite)
- tester l'irredondance des DF
- tester l'irredondance des parties gauches de DF // pas besoin ici
- iterer jusqu'à stabilité

irredondance des DF :
soit F un ensemble de DF:
une DF f:X->Y est redondante si :
Y C X+/F-f

"C" pour inclus
x+/F-f : fermeture transitive de X dans F privé de f.

(DF = dependances fonctionnelles)

Je trouve :
{A->B, C->D, ABC->E, BC->A}

Ce que je trouve etrange c'est qu'il n'y a pas de "F" dans cette couverture.... Pensez vous que c'est normal ? cette couverture vous semble-t-elle juste ?

Merci pour vos reponses !