5NF

• Une relation R est en 5NF ssi chaque dj non triviale satisfaite par R est dérivable des clés candidates de R avec
  • la dj * {A, B, ..., Z} sur R est triviale ssi au moins l'un des {A, B, ..., Z} est l'ensemble de tous les attributs de R
  • La dj* {A, B, ..., Z} sur R est dérivée des clés candidates de R ssi chacun des A, B, ... Z est une superclé de R
• Les dj non DMV ni df sont délicates à identifier
• Une relation 4NF et pas 5NF est très difficile à mettre en évidence, ce sont des cas très rares en pratique