Soit la table suivante (Emp signifie Employee, Pro signifie Project et Man signifie Manager).
Soit les dépendances fonctionnelles suivantes :
Emp → EmpName
Emp → Pro
Pro → ProName
Pro → Man
Pro → ManName
Man → ManName
Montrer que ce modèle n'est pas en 3NF.
Emp → EmpName
Emp → Pro
Emp → ProName
Emp → Man
Emp → ManName
Pro → ProName
Pro → Man
Pro → ManName
Man → ManName
Emp
Cette relation est 1NF car elle possède une clé Emp (et l'on pose que ses attributs sont atomiques.)
Cette relation est 2NF car la seule clé candidate Emp n'est composée que d'un attribut.
Cette relation n'est pas 3NF car des attributs non clés dépendent d'attributs non clés :
Pro → ProName, Man
Man → ManName
Proposer un modèle équivalent en 3NF.
On doit procéder ici à deux décompositions, pour aboutir à la solution suivante :
EMPLOYEE (#Emp, EmpName, Pro=>PROJECT)
PROJECT (#Pro, ProName, Man=>MANAGER)
MANAGER (#Man, ManName)