1つの表のキーに対して定義される規則であり、そのキーの値が関連する表のキーの値と一致することを保証します。