Couverture minimale de F

• Ensemble minimal de df équivalent à F mais sans redondance
• Une couverture minimale n'est pas nécessairement unique
• La couverture minimale de F est l'ensemble G de df tel que :
  • G⁺=F⁺
  • Tout membre droit d'une df est réduit à un seul attribut
  • Pour aucune df X→A de G, on a G-(X→A) ⇒ G
  • Pour aucune df X→A de G, on a G ⇒ (G - (X→A)) ∪ (Y→A), avec Y partie stricte de X (Y ⊂ X)