Définition - Que signifie la dépendance fonctionnelle?
La dépendance fonctionnelle est une relation qui existe lorsqu'un attribut détermine de manière unique un autre attribut.
Si R est une relation avec les attributs X et Y, une dépendance fonctionnelle entre les attributs est représentée par X-> Y, ce qui spécifie que Y est fonctionnellement dépendant de X. Ici, X est un ensemble déterminant et Y est un attribut dépendant. Chaque valeur de X est associée précisément à une valeur Y.
La dépendance fonctionnelle dans une base de données sert de contrainte entre deux ensembles d'attributs. La définition de la dépendance fonctionnelle est une partie importante de la conception de bases de données relationnelles et contribue à la normalisation des aspects.
Definir Tech explique la dépendance fonctionnelle
Une dépendance fonctionnelle est triviale si Y est un sous-ensemble de X. Dans une table avec les attributs du nom de l'employé et du numéro de sécurité sociale (SSN), le nom de l'employé dépend fonctionnellement du SSN car le SSN est unique pour les noms individuels. Un SSN identifie spécifiquement l'employé, mais un nom d'employé ne peut pas distinguer le SSN car plusieurs employés peuvent avoir le même nom.
La dépendance fonctionnelle définit la forme normale de Boyce-Codd et la troisième forme normale. Cela préserve la dépendance entre les attributs, éliminant la répétition des informations. La dépendance fonctionnelle est liée à une clé candidate, qui identifie de manière unique un tuple et détermine la valeur de tous les autres attributs de la relation. Dans certains cas, les ensembles fonctionnellement dépendants sont irréductibles si:
- L'ensemble de dépendance fonctionnelle de droite ne contient qu'un seul attribut
- L'ensemble de dépendances fonctionnelles de gauche ne peut pas être réduit, car cela peut changer tout le contenu de l'ensemble
- La réduction de l'une des dépendances fonctionnelles existantes peut modifier le contenu de l'ensemble
Une propriété importante d'une dépendance fonctionnelle est l'axiome d'Armstrong, qui est utilisé dans la normalisation de la base de données. Dans une relation, R, avec trois attributs (X, Y, Z), l'axiome d'Armstrong est vrai si les conditions suivantes sont satisfaites:
- Axiome de transivité: Si X-> Y et Y-> Z, alors X-> Z
- Axiome de réflexivité (propriété du sous-ensemble): Si Y est un sous-ensemble de X, alors X-> Y
- Axiome d'augmentation: Si X-> Y, alors XZ-> YZ