Dépendance multivaluée

• Soit R une relation et A,B, C des ensembles d'attributs de R. On dit que B est multidépendant de A (noté A →→ B) ou A multidétermine B
  ssi l'ensemble des valeurs de B correspondant à un couple AC de R dépend seulement de A et est indépendant de C
• Propriété : Si la DMV A→→ B est satisfaite ssi A→→ C l'est aussi, on le note A→→ B | C
• Professeur dépend de Module et pas d'Etudiant, Etudiant depend de Module mais pas de Professeur

  Module  →  →   Professeur | Etudiant

• Les projections MP et ME ne possèdent pas de telles DMV
• Théorème de Fagin : Soit R {A,B,C}
  R = jointure des projections de R sur AB et AC
  ssi R satisfait la DMV A→→ B|C