Clé, df et propriétés utiles
- Tout attribut qui ne figure pas dans le membre droit d'une df non triviale de F doit appartenir à toute clé de R
- Si l'ensemble des attributs de R qui ne figure dans aucun membre droit d'une df non triviale de F est une clé, alors cet ensemble est l'unique clé minimale de R
- Un schéma de relation muni d'une seule df possède une clé minimale unique
- df élémentaire : X→Y est une df élémentaire s'il n'existe pas un ensemble d'attributs Z⊂X tel que Z→Y
- df directe : X→Y est une df directe s'il n'existe pas un ensemble d'attributs Z tel que X→Z et Z→Y