Autres propriétés déduites des axiomes d'Armstrong

Introduction

A partir des axiomes d'Amstrong, on peut déduire un certain nombre de propriétés supplémentaires.

DéfinitionPseudo-transitivité

Si un attribut X détermine un autre attribut Y, et que Y appartient à un groupe G qui détermine un troisième attribut Z, alors le groupe G' obtenu en substituant Y par X dans G détermine également Z.

Soient, W, X, Y et Z des attributs :

X→Y et WY→Z ⇒ WX→Z

Cette propriété est déduite de l'augmentation et de la transitivité :

X→Y et WY→Z ⇒ WX→WY et WY→Z ⇒ WX→Z

DéfinitionUnion

Si un attribut détermine plusieurs autres attributs, alors il détermine tout groupe composé de ces attributs.

Soient X, Y et Z des attributs :

X→Y et X→Z ⇒ X→YZ

Cette propriété est déduite de la réflexivité, de l'augmentation et de la transitivité :

X→Y et X→Z ⇒ X→XX et XX→XY et YX→YZ ⇒ X→YZ

DéfinitionDécomposition

Si un attribut détermine un groupe d'attribut, alors il détermine chacun des attributs de ce groupe pris individuellement.

Soient X, Y et Z des attributs :

X→YZ ⇒ X→Z et X→Y

Cette propriété est déduite de la réflexivité et de la transitivité :

X→YZ ⇒ X→YZ et YZ→Z ⇒ X→Z