1970 年に Edgar Codd によって最初に定義されたリレーショナル モデルのルールを理解しようとしています。
具体的には、参照整合性が彼のリレーショナル モデルの一部であるかどうかに興味があります。次の例でデモンストレーションを試みます(この質問をきれいにするためだけに):
お客様
+------+------------
| Name | Address
|------+------------
| John | ....
| Mike | ....
| Kate | ....
+------+------------
請求書
+------+------------
| ID | Customer
|------+------------
| 1 | John
| 2 | John
| 3 | Mary
+------+------------
さて、ご覧のとおり、顧客 (外部キー) がMaryである請求書が 1 つあります。これは彼のリレーショナル モデルに違反しますか? エドガー・コッドはこれを見て、「なんてこった」と言うでしょうか? それとも、彼は言うでしょうか、それはまったく問題ありません...
これは理論的な問題です。