2.6.2 Propriétés des dépendances
fonctionnelles (DF) :
Les DF permettent d'établir une hiérarchie
fonctionnelle entre entité, propriétés et relations
(Matheron, 2003). 
a) Réflexivité.
a - df ? a 
b) Projection.
a - df ? b + c => a - df ? b et a - df ? c 
c) Augmentation.
a - df ? b + c =>    a + c - df ? b  
d) Additivité.
a - df ? b et a  - df ? c  =>  a - df ? b + c 
e) Transitivité.
a - df ? b et b  - df ? c  =>  a - df ?  c 
f) Pseudo  - transitivité. 
a - df ? b et b + c   - df ? d  =>  a + c - df ? d 
- df ? «dépend fonctionnellement de» 
=>         «Implique que» 
           « Quel que soit » 
 |