4. PROPRIETES

Soient X et Y deux ensembles d’attributs.

• Réflexivité : Si Y ⊆ X alors X → Y (et Y → X)
• Augmentation : Si X → Y et W ⊆ Z alors X, Z → Y, W
• Transitivité : Si X → Y et Y → Z alors X → Z
• Pseudo-transitivité : Si X → Y et Y, Z → W alors X, Z → W
• Union : Si X → Y et X → Z alors X → Y, Z
• Décomposition : Si X → Y, Z alors X → Y et X → Z