Dépendance fonctionnelle

Une dépendance fonctionnelle est une contrainte entre deux ensembles d’attributs d’une relation : X détermine Y, noté X → Y, lorsque deux lignes qui possèdent les mêmes valeurs pour X possèdent nécessairement les mêmes valeurs pour Y. Elle exprime une règle sur les données possibles, et non une simple coïncidence observée dans un échantillon.

Rôle dans le modèle relationnel

Si un identifiant de prélèvement détermine une date et un site, une même valeur d’identifiant ne peut être associée à deux dates ou sites différents. La même logique protège la cohérence entre lots, animaux, sites et résultats d’analyse dans un système d’information sanitaire. X peut contenir un ou plusieurs attributs. Lorsqu’il détermine tous les attributs de la relation et qu’aucun sous-ensemble ne le permet, il constitue une clé candidate.

Les dépendances se déduisent les unes des autres. Par transitivité, si X détermine Y et Y détermine Z, alors X détermine Z. Les dépendances triviales, où Y est inclus dans X, sont toujours vraies mais apportent peu d’information sur la structure métier.

Normalisation

La normalisation utilise ces contraintes pour repérer les redondances et anomalies de mise à jour. Une dépendance mal placée peut conduire à répéter une même information dans plusieurs lignes, avec des risques de contradiction lors d’une insertion, modification ou suppression. La décomposition en relations plus petites vise à préserver les informations et, autant que possible, les dépendances nécessaires aux contrôles d’intégrité.