où numvin (numéro de vin) prend ses valeurs dans l'ensemble des entiers positifs ; type est un libellé figurant dans une liste
définie ; mil (millésime) prend ses valeurs dans l'ensemble des dates (années). Bien entendu, le triplet numvin, type, mil doit
avoir un sens. Par exemple le vin (169, Bordeaux Pauillac Château Latour, 2378) n'existe pas encore, il faudra attendre la
récolte de l'année 2378.
De même, on peut imaginer la relation
CLIENT(nomclient, prenomclient, adresse, da, nbout)
où da et nbout désignent respectivement la date d'achat et le nombre de bouteilles. Les tables correspondantes aux relations
VIN et CLIENT sont données ci-dessous.
Les tables ne constituent cependant pas une base de données relationnelle. Pour cela les tables/relations doivent satisfaire
certains critères qui sont basés sur le concept de dépendance fonctionnelle.
On dira qu'entre un attribut A et un attribut B il existe une dépendance fonctionnelle A à B si la donnée de A détermine
uniquement B.
Exemple : Dans l'exemple précédent, dans la relation VIN, on pourra considérer que le numéro de vin numvin correspond à un
vin unique (type) et à un millésime unique (mil). Dans la relation CLIENT, il n'y a pas de dépendance fonctionnelle nomclient à
prenomclient car il peut exister deux clients de même nom avec des prénoms différents.
Il n'y a pas de dépendances fonctionnelles évidentes de da vers nbout.
Une dépendance fonctionnelle est élémentaire si elle est du type A à B ou si la dépendance (A, B) à C ne peut se réduire à A à
C ou B à C.
Exemple : La dépendance fonctionnelle (numvin, type) à mil n'est pas élémentaire car on a la dépendance numvin à mil. Les
dépendances fonctionnelles numvin à mil, numvin à type sont élémentaires.
Une dépendance fonctionnelle A à B est directe s'il n'existe pas de transitivité du type A à C et C à B. Pour la construction des
relations, on ne prend en considération que les dépendances fonctionnelles élémentaires et directes et le signe "à " désignera
désormais ce type de dépendance fonctionnelle.
Si, dans une relation, un attribut A est tel que A à X où X est un attribut quelconque de la relation, alors on définit A comme
une clé.
Pour que les relations constituent une base de données relationnelle, elles doivent satisfaire à la condition de normalisation
suivante : Les seules dépendances fonctionnelles figurant dans une relation sont celles du type