A type of analysis that is run after foreign key analysis to ensure that foreign key candidates match the values of an associated primary key.