Règles d'Armstrong

• Réflexivité : si Y⊂X alors la df X→Y est vérifiée (df triviale)
• Augmentation : pour tout Z inclus dans R, si la df X→Y est vérifiée, alors la df XZ→YZ l'est aussi. X→Y ⇒ XZ→YZ
• Transitivité : si les df X→Y et Y→Z sont vérifiées, alors la df X→Z l'est aussi. (X→Y, Y→Z) ⇒ X→Z
• Théorème : Si la df X→Y se déduit de F en appliquant les règles d'Armstrong, alors X→Y appartient à F⁺. Réciproquement, toute df X→Y de F⁺ se déduit de F par application de ces règles.