L’ensemble des valeurs d’une clé étrangère doit être, à tout instant, un sous-ensemble des valeurs du domaine défini.

L’ensemble des valeurs d’une clé primaire doit être, à tout instant, un sous-ensemble des valeurs de la clé étrangère qui la référence.

L’ensemble des valeurs référencées par une clé étrangère doit être, à tout instant, un sous-ensemble des valeurs de l’identifiant cible.

L’ensemble des valeurs d’une clé étrangère doit être, à tout instant, un sous-ensemble des valeurs de l’identifiant cible.