1. Couverture minimale
1.1. Définition
1.1.1. Minimum dépendances permettant de recréer l'arbre complet
1.2. Propriétés
1.2.1. F⁺(Fmin) = F⁺(F)
1.2.2. ∄ F ́| F ́⊂ Fmin et F⁺(F ́) = F⁺(Fmin)
2. Formes normales
2.1. 1NF
2.1.1. Val atomiques uniquement
2.2. 2NF
2.2.1. 1NF + Dépendances élémentaires
2.3. 3NF
2.3.1. 2NF + Dépendances directes
2.4. 3NFBC
2.4.1. 3NF + (Clés candidates = seules sources dépendances)
3. Dépendances fonctionnelles
3.1. Propriétés
3.1.1. Réflexivité
3.1.1.1. A→A
3.1.2. Augmentation
3.1.2.1. Si A→B, alors A,C→B
3.1.3. Transitivité
3.1.3.1. Si A→B & B→C, alors A→C
3.1.4. Pseudo-transitivité
3.1.4.1. si A→B et B,C→D alors A,C→D
3.1.5. Union
3.1.5.1. si A→B et A→C alors A→B,C
3.1.6. Décomposition
3.1.6.1. si A→B,C alors A→B et A→C
3.2. Typologie
3.2.1. X→Y
3.2.1.1. Triviale
3.2.1.1.1. Y est inclus dans X
3.2.1.2. Simple
3.2.1.2.1. Y→1 seul élément
3.2.1.3. Elementaire
3.2.1.3.1. Y dépend de la totalité de X
3.2.1.4. Directe
3.2.1.4.1. Pas de transitivité
4. Fermetures
4.1. Transitive
4.1.1. Prorpiété transitivité sur graphe
4.2. Ensemble de DFs
4.2.1. Toutes les propriétés des DFs