Dépendances fonctionnelles

Une dépendance fonctionnelle est une contrainte stipulant que les valeurs d'un ensemble d'attributs déterminent de manière unique les valeurs d'un autre ensemble ; les dépendances fonctionnelles constituent l'apport sémantique qui guide la découverte des clés et la normalisation.

Definition

Une dépendance fonctionnelle X → Y sur un schéma de relation est vérifiée si, dans toute instance valide, deux tuples quelconques qui concordent sur tous les attributs de X concordent également sur tous les attributs de Y ; c'est-à-dire que X détermine fonctionnellement Y.

Scope

Ce sujet couvre les dépendances fonctionnelles (DF) et leur théorie formelle : la définition de X → Y, les dépendances triviales et non triviales, les axiomes d'Armstrong (réflexivité, augmentation, transitivité) ainsi que leur correction et complétude, la fermeture d'un ensemble d'attributs et d'un ensemble de DF, les couvertures canoniques (minimales), et l'utilisation des DF pour calculer les clés candidates. Il exclut les dépendances multivaluées et de jointure, ainsi que les formes normales testées à l'aide des DF, qui sont traitées dans des sujets adjacents.

Core questions

• Que signifie pour un ensemble d'attributs de déterminer fonctionnellement un autre ensemble ?
• Quelles règles d'inférence (axiomes d'Armstrong) sont correctes et complètes pour les DF ?
• Comment la fermeture d'un ensemble d'attributs est-elle calculée, et à quoi sert-elle ?
• Comment les clés candidates sont-elles dérivées d'un ensemble de dépendances fonctionnelles ?
• Qu'est-ce qu'une couverture minimale (canonique) et pourquoi est-elle utile ?

Key concepts

• dépendance fonctionnelle X → Y
• dépendance triviale versus non triviale
• axiomes d'Armstrong
• fermeture d'un ensemble d'attributs
• fermeture d'un ensemble de DF
• clés candidates et superclés
• couverture minimale (canonique)
• correction et complétude

Key theories

Dépendance fonctionnelle

X → Y contraint une relation de sorte que les valeurs de X déterminent les valeurs de Y ; les DF formalisent les règles du monde réel (telles qu'une clé déterminant tous les autres attributs) qu'un schéma doit faire respecter.

Axiomes d'Armstrong

La réflexivité, l'augmentation et la transitivité forment un système d'inférence correct et complet pour les dépendances fonctionnelles, de sorte que toutes les dépendances logiquement impliquées, et seulement celles-ci, peuvent être dérivées d'un ensemble donné.

Fermeture d'attributs et couverture minimale

La fermeture d'un ensemble d'attributs sous un ensemble de DF révèle quels attributs il détermine (et donc s'il s'agit d'une superclé), et une couverture minimale est un ensemble équivalent et non redondant de DF utilisé comme base pour la normalisation.

Clinical relevance

Les dépendances fonctionnelles sont l'apport pratique aux outils de conception de schémas et le raisonnement que les concepteurs de bases de données utilisent pour identifier les clés et décider comment diviser les tables ; les maîtriser permet à la normalisation d'éliminer la redondance sans perte d'information.

History

Les dépendances fonctionnelles ont été introduites par Codd parallèlement au modèle relationnel et à sa normalisation, et W. W. Armstrong a présenté en 1974 le système d'axiomes qui porte son nom, en prouvant sa correction et sa complétude. Ces résultats ont rendu le raisonnement sur les dépendances algorithmique et sous-tendent toute la théorie de la normalisation ultérieure.

Key figures

• Edgar F. Codd
• William W. Armstrong

Seminal works

• codd1972
• armstrong1974
• silberschatz2019

Frequently asked questions

En quoi les dépendances fonctionnelles diffèrent-elles des clés ?

Une clé est un cas particulier : une clé candidate K est un ensemble minimal d'attributs dont la fermeture est la relation entière, c'est-à-dire que K détermine fonctionnellement chaque attribut. Les dépendances fonctionnelles sont les contraintes plus générales à partir desquelles les clés sont dérivées en calculant les fermetures d'attributs.

Pourquoi calculer une couverture minimale ?

Une couverture minimale (canonique) est un ensemble équivalent de dépendances fonctionnelles sans dépendances redondantes ni attributs superflus. Travailler à partir d'une couverture minimale simplifie la recherche de clés et produit des décompositions plus propres lors de la normalisation, en particulier lors de la recherche de conceptions préservant les dépendances.