Boyce-Codd Normal Form (BCNF)
La FNBC exige, en plus de la 3FN, que chaque déterminant soit une clé candidate ; une version renforcée de la 3FN.
Objectif
Éliminer les anomalies qui subsistent en 3FN (dépendances partielles ou transitives d'attributs premiers envers les clés candidates).
Mécanisme
Pour toute dépendance fonctionnelle X→Y, X doit être une superclé (contenant une clé candidate). Plus stricte que la 3FN : celle-ci ne contraint que les attributs non premiers, alors que la FNBC contraint tout. La FNBC peut ne pas préserver les dépendances fonctionnelles.
Cas d’usage
- Conception de bases de données
- Normalisation de tables
- Élimination des anomalies de mise à jour