Axiomes d' Armstrong

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 !

Bonjour,

je vais essayer

1.A -> B [donné]
2.B -> C [donné]
3.A -> C [transitivité 1,2]
4.A,D -> C,D [augmentation, D]
5.A,D -> C [ décomposition 4]

A,D -> C redondante

Bonne journée