Ένας τύπος ανάλυσης που εκτελείται μετά το ξένο κλειδί ανάλυσης που να διασφαλίζουν ότι ξένο κλειδί υποψηφίων ταιριάζουν με τις τιμές του ένα συσχετισμένο πρωτεύον κλειδί.