La notion de dépendance

Avant de voir comment vérifier la cohérence syntaxique d'un schéma entité association, nous introduisons le concept de dépendance entre données ou entre types d'entité, qui est utile pour certaines règles de vérification. Le concept de dépendance n'est pas propre au modèle entité-association; c'est un concept générique qui est utilisé aussi bien en entité-association qu'en relationnel pour exprimer les propriétés intrinsèques des données.
Définition: étant donné un attribut, ou un ensemble d'attributs, A, d'un TE (ou TA), et B un attribut du même TE (ou TA), il y a dépendance A vers B, notée A flèche B , si dans la population du TE (ou TA) toutes les occurrences qui ont même valeur pour A ont toujours même valeur pour B. On dit que B dépend de A, ou que A détermine B. A est la source de dépendance, B la cible.

Dans l'exemple, les attributs Nom, Prénom et Adresse du TE PERSONNE dépendent de NumP. La connaissance des dépendances permet de vérifier si le schéma élaboré traduit correctement la réalité de l'application à décrire. Quelques règles permettent de corriger ou de valider le schéma.