Dépendances fonctionnelles
Une dépendance fonctionnelle A → B signifie qu'une valeur de A détermine une seule valeur de B. Les repérer dans le dictionnaire indique où placer chaque attribut et quels liens poser.
- DF
- dépendance
- →
- déterminer
- normalisation
Syntaxe
A → B « connaître A, c'est connaître B »A, B → C dépendance dont la source est un coupleExemple
Dépendances tirées du dictionnaire : num_client → nom, email ref_produit → libelle, prix_unitaire num_commande → date_commande, num_client num_commande, ref_produit → quantiteTraduction en MCD : num_client → … entité CLIENT num_commande → num_client CLIENT (0,n) ── PASSER ── (1,1) COMMANDE (num_commande, ref_produit) → quantite association CONTENIR (quantite)À retenir
- Chaque identifiant d'entité est la source des dépendances de ses attributs : tout attribut de CLIENT dépend de num_client, et de lui seul.
- Une dépendance entre deux identifiants (num_commande → num_client) donne une association fonctionnelle, avec la cardinalité (x,1) du côté de la source.
- Une dépendance dont la source est un couple d'identifiants donne une association plusieurs-à-plusieurs qui porte l'attribut.
- Ce sont les mêmes dépendances qui servent à vérifier les formes normales au MLD (2FN, 3FN, FNBC).
- Piège : confondre une coïncidence avec une dépendance. En France, code_postal ne détermine pas ville : plusieurs communes partagent un même code postal.
Voir aussi
- Dictionnaire des donnéesLe dictionnaire des données recense chaque information du besoin avec son nom, sa signification, son type et ses contraintes. Il se construit avant le MCD et évite doublons et ambiguïtés.
- IdentifiantL'identifiant est l'attribut, souligné dans le diagramme, dont la valeur distingue chaque occurrence d'une entité. Il deviendra la clé primaire au MLD : choisissez-le stable et unique.
- Association porteuse d'attributsUne association peut porter des attributs qui décrivent le lien lui-même, comme la quantité d'un produit dans une commande. On les y place quand ils dépendent de toutes les entités reliées.
- CIF et contraintes inter-associations (avancé)Notion avancée : une CIF signale qu'une entité en détermine une autre, et les contraintes inter-associations (inclusion, exclusion) expriment les règles que les cardinalités seules ne disent pas.