referential-integrity - 参照完整性受损:埃德加·科德会怎么说？

Question

我正在尝试了解关系模型的规则，该规则最初是由Edgar Codd在1970年定义的。

特别是，我对参照完整性是否属于他的关系模型感兴趣。我将尝试在下面的示例中进行演示(只是为了使这个问题更漂亮):

客户

+------+------------
| Name | Address
|------+------------
| John | ....
| Mike | ....
| Kate | ....
+------+------------

发票

+------+------------
|  ID  | Customer
|------+------------
|   1  | John
|   2  | John
|   3  | Mary
+------+------------

现在，很显然，正如您所看到的，我们有一张发票，其中客户(外键)为 玛丽。这会违反他的关系模型吗？埃德加·科德(Edgar Codd)会看着这个说，老兄，这到底是什么？还是他会说，这完全没问题...

这是理论上的问题。

Answer 1

为了使一种语言具有相对完整性(由Codd创造的短语)，它必须支持一组关系运算符，称为relational algebra。请注意，没有一个真正的关系代数:Codd提出了第一个关系代数，但自那以后，其他人已经完善并建立在Codd的基础上(例如The Third Manifesto)，我相信他会认为这是正确和适当的。

参照完整性不是关系运算符，因此不是语言的关系完整性的要求。引用完整性约束是 DBMS 的有用还是必需的功能是另一回事。