Propriétés des dépendances fonctionnelles

• Soit R un schéma relationnel muni d'un ensemble F de df, Soient X et Y deux sous-ensembles d'attributs de R
  • On note XY la réunion des ensembles d'attributs X et Y de R
  • On note X-Y la différence (notion ensembliste)
  • Y est une partie stricte de X si Y ⊂ X
• Implication de df : la df X→Y est impliquée par F si toute relation r de R qui vérifie F vérifie aussi X→Y. Notation : F ⇒ X→Y
• Fermeture de F (notée F⁺) : ensemble des df impliquées par F
• La fermeture d'un ensemble de df peut être très volumineux...