如何通过关系代数表达参照完整性约束？

Question

为数据库设计中的参照完整性约束编写代数关​​系表达式是什么意思？

Answer 1

简短回答：一般来说无法表达。

但也许您想到了一种不太一般的情况？

更长的答案：关系代数有很多变体。也许有些是为了表达约束而设计的；但更常见的（尤其是 Codd 1972）不是。

您需要一个构造来返回布尔值（是/否，此数据库内容符合约束）。而大多数代数旨在返回关系值。

或者你需要一个约定，（比如说）一个空的结果意味着“有效”——假设一个完全空的数据库是有效的；但是有些限制使得完全空的数据库无效；那么您就必须编造一个非空结果，这会使您的查询“依赖于域”，而 Codd 竭力避免这种情况。