© Éditions Eyrolles
113
chapitre n° 2
Le niveau logique : du relationnel à l’objet
Une dépendance de jointure est vérifiée dans une relation R entre les attributs si la jointure 1 de
ses projections 2 sur chaque attribut reconstitue R.
• Soit R[a,b,c], une dépendance de jointure existe si R = ͹(a) ᭟᭠ ͹(b) ᭟᭠ ͹(c).
Bilan des dépendances
Il est utile au concepteur de connaître ces notions de base. En effet, même s’il construit le schéma
avec un formalisme entité-association ou UML, il peut toujours en extraire des relations entre
attributs et déduire s’il s’agit de DF ou non. Ainsi, il peut concevoir des schémas normalisés.
Les clés primaires et étrangères des relations peuvent être également définies à l’aide des DF.
Reprenons l’exemple des ordinateurs et des étudiants décrit en début de chapitre. On aurait pu
déduire les DF élémentaires et directes suivantes :
●
cpu → prixMoyen, cpu → delaiMoyen ;
●
codetu → nomEtu, codetu → cpu, cette dernière DF permet de statuer sur l’existence
d’une clé étrangère dans la relation Etudiant.
La figure 2-8 indique la notation de ce schéma relationnel en intention :
Formes normales
La normalisation permet de construire des schémas optimaux en terme d’intégrité et de cohérence
des données stockées.
Première forme normale
Une relation est en première forme normale si chaque n-uplet contient une seule valeur par attribut.
En d’autres termes, au niveau de l’extension d’une relation, à l’intersection d’une ligne et d’une
colonne, on ne doit trouver qu’une et une seule valeur (qui peut être diverse : nombre, chaîne
de caractères, date, image, etc.)
1. Notez que la jointure entre deux relations permet de constituer une troisième relation sur la base
d’une expression (le plus souvent l’égalité) entre attributs des relations à mettre en jointure.
2. Remarquez que la projection d’une relation R sur un attribut a consiste à ne garder que la colonne a
dans la relation résultat.
Figure 2-8 Schéma relationnel
PC[cpu, prixMoyen, delaiMoyen]
Etudiant[codetu, nomEtu, cpu#]
Précédent

- 120/316

Suivant