Calcul de F⁺

• Il est assez long de calculer F⁺ avec les règles d'Armstrong. On peut s'aider de quelques règles supplémentaires :
• Additivité (ou union) : (X→Y,X→Z) ⇒ X→YZ
• Pseudo-transitivité : (X→Y,WY→Z) ⇒ XW→Z
• Décomposition : (X→Y) ⇒ X→Z si Z ⊂ Y
• Composition : (X→Y) et (W→Z) ⇒ XW→YZ
• Il existe des algorithmes permettant de calculer F⁺.