外部キーは、参照する列の値が参照先テーブルの候補キーと一致することを要求します。そのためorders.customer_idは、既存のcustomers.idだけを指します。一致しない値を拒否することで、子行が孤立するのを防ぎます。