Fourth Normal Form (4NF)
La quatrième forme normale élimine, en plus de la FNBC, les dépendances multivaluées non triviales (MVD), en évitant la redondance des attributs multivalués.
Objectif
Traiter la redondance plusieurs-à-plusieurs causée par les dépendances multivaluées et concevoir des structures de tables plus propres.
Mécanisme
Si A→→B et A→→C (dépendances multivaluées) avec B et C indépendants, on scinde en (A,B) et (A,C). P. ex., teacher→→courses et teacher→→skills : la scission évite la redondance cartésienne courses×skills.
Cas d’usage
- Conception de bases de données
- Traitement des dépendances multivaluées
- Normalisation avancée