Bonjour,
je suis en train d'essayer de démontrer l'équivalence entre les axiomes d'Armstrong et l'Identité, l'union, la décomposition et la pseudo-transitivité.
Ce n'est pas très difficile de montrer que les axiomes d'Armstrong permettent de déduire ces derniers. Par contre dans l'autre sens, je me heurte à la démonstration de l'augmentation et de la transitivité.
Voilà ce que j'ai déjà fait :
Relféxivité :
Y est inclus ou egal à X (données)
On peut écrire que X-->X (identité)
puis X-->Y (décomposition)
Auriez-vous des idées ?
Merci d'avance.
Partager