public:std-3:cm1:aspect_logique:2.2.5_normalisation_d_un_schema:2eme_forme_normale

Dépendance fonctionnelle élémentaire (DFE)

Soit $R$ un schéma relationnel
Soit $X$ un ensemble d’attributs ⊆ $R$
Soit $A$ un attribut de $R$
Il existe une DFE entre $X$ et $A$ ssi :
- $X \rightarrow A$
- Il n’existe aucun sous-ensemble $Y$ ⊆ $X$ tel que $Y \rightarrow A$

2ème forme normale (2FN)

Un schéma $R$ est en 2FN :
- ssi la clé primaire de $R$ est en DFE avec tous les autres attributs.
- Donc : il n’y a pas d’attributs qui ne dépendent que d’une partie de la clé.

Exemple : $$\textbf{Fournisseur}(\underline{\text{nom_f}, \text{composant}}, \text{adresse_f}, \text{prix})$$ $$\text{nom_f} \rightarrow \text{adresse_f}$$ $$\text{nom_f}, \text{composant} \rightarrow \text{prix}$$ ⇒ Pas 2FN!!

Up : 2.2.5 Normalisation d'un schéma Next : Normalisation 2FN