元组关系演算

Question

安全的元组关系演算是一种完整的语言吗？

Answer 1

让我们忘记安全。通过Codd's theorem，关系演算相当于一阶逻辑。 FOL是非常有限的，它无法表达在某个图形中存在从A点到B点的路线的事实（它可以表示在有限长度内存在从A点到B点的路线，例如∃ x∃y∃z∃t路由（a，x）和路由（x，y）和路由（y，z）和路由（z，t）和路由（t，b）意味着有一条长度为4的路由。

有关不同逻辑强度的说明，请参阅descriptive complexity。

Answer 2

根据Codd's Theorem，关系代数和关系演算是等价的。众所周知，关系代数不是图灵完全，因此关系演算也不是。

[编辑] 例如，您不能进行聚合操作（例如sum，max）或在关系代数/微积分中进行递归查询。见here（接近结尾）。