Forme normale 4NF

• R est en 4NF ssi chaque fois qu'il existe des ss-ensembles A, B de R tel que la DMV non triviale A→→ B est satisfaite alors tous les attributs de R sont également en df de A
• A→→ B est triviale si A ⊃ B ou si A ∪ B est l'entête complet de R
• ie Les seules dépendances non triviales (df et dmv) de R sont de la forme K → X avec K une superclé de R
• ie R est en 4NF ssi BCNF et toutes DMV de R sont des df externes aux clés candidates