III.1.3 - Vérification des formes normales
Les formes normales ont pour but de définir des
règles pour casser les relations en préservant les
dépendances fonctionnelles sans perte d'informations afin d'obtenir un
modèle sans redondance.
Ainsi dans notre étude après en
établissant notre schéma relationnel nous avons respecter les
formes normales pour éviter les redondances et faciliter les mises
à jour ultérieures. Voici les trois formes normales que l'on
respectées :
1FN - première forme normale : toute
propriété a une valeur atomique non
décomposable
Une entité est en première forme normale si
toutes ses propriétés sont élémentaires et s'il
existe au moins une clé caractérisant chaque occurrence de
l'entité.
2FN - deuxième forme normale : toute
propriété dépend de toute la clé
Une
entité ou une relation en première forme normale est en
deuxième forme normale si toute propriété dépend de
la clé par une dépendance fonctionnelle élémentaire
pleine : les propriétés doivent dépendre de l'ensemble des
identifiants participant à la clé.
3FN - troisième forme normale : toute
propriété ne dépend de rien d'autre que de la
clé
Une entité ou une relation en deuxième forme
normale est en troisième forme normale si toute propriété
dépend de la clé par une dépendance fonctionnelle
directe
4FN - quatrième forme normale
Pour
toute relation de dimension n en forme normale de Boyce-Codd, les
relations de dimension n-1 construites sur sa collection doivent avoir
un sens. Il ne doit pas être possible de reconstituer les occurrences de
la relation de dimension n par jointure de deux relations de dimension
n-1. Cette normalisation conduit parfois à décomposer
une relation complexe en deux relations plus simples.
5FN -
cinquième forme normale
Pour toute relation de dimension
n (avec n supérieur à 2) en quatrième
forme normale, il ne doit pas être possible de retrouver l'ensemble de
ses occurrences par jointure sur les occurrences des relations partielles
prises deux à deux. Cette normalisation conduit parfois à
décomposer une relation complexe en plusieurs relations plus simples.
| 
