Un type d'analyse est exécutée après analyse de clé étrangère pour s'assurer que les candidats clés étrangères correspondent aux valeurs d'une clé primaire associée.