ある表の外部キーが、参照先の表の主キーとして存在することを保証する制約はどれか。

データの矛盾を防ぐため、存在しないレコードへの参照を禁止するルールである。