Dépendance fonctionnelle
Définition
Dépendance fonctionnelle. Dans une relation R, on dit qu'il y a dépendance fonctionnelle entre un ensemble d'attributs A et un ensemble d'attributs B, ou que l'ensemble A d'attributs détermine l'ensemble B d'attributs (et on écrit A→B) si quand deux n-uplets coïncident sur leurs attributs A, alors ils coïncident sur leurs attributs B.
Dépendance multivaluée
Dépendance croisée
Exemples
Dans la relation (cours, heure, jour, salle), (salle, jour, heure) →cours parce que dans une salle à un moment donné ne peut avoir lieu qu'un cours
Historique
Les dépendances fonctionnelles ont été introduites dans l'article fondateur[1] de Delobel et Rissanen. Dans ce travail, réalisé par les auteurs au centre de recherche IBM, la notion de dépendance fonctionnelle est introduite entre les ensembles des attributs d'une relation.
Applications
Les dépendances fonctionnelles sont utilisées pour définir les formes normales.
Travaux
De nombreux auteurs se sont attachés à trouver pour les dépendances fonctionnelles des systèmes d'action correct (qui permettent d'inférer des dépendances correctes) et complets (qui permettent de tous les inférer)
Références
- (en) Claude Delobel et Jorma Rissanen, « Decomposition of files, a basis for data storage and retrieval. », Report R 1220. IBM Research, San Jose, California,
