[nom] Relation d'une base de données, dans laquelle toutes les contraintes sont la conséquence logique des contrainte de domaines et des contraintes de clefs qui s'appliquent à la relation.
Forme normale (bases de données relationnelles)#FNDC - forme normale domaine clé