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 »
|