Bonjour
J'ai un petit problème sur un exercice :
Eliminer les DF redondantes :
A -> B
B -> C
A,D -> C
J'imagine que A,D -> C est redondante, mais je n'arrive pas à le prouver avec les axiomes d'Armstrong. Je commence par l'augmentation
A,D -> B,D
A,D -> C,D
mais je n'arrive pas à finir.
Merci !
Partager