Théorie de la normalisation relationnelle (dépendance fonctionnelle, forme normale, clé)