元组关系演算

Question

是安全的元组关系演算图灵完整的语言？

Answer 1

让我们忘了安全。通过 Codd的定理时，关系演算相当于一阶逻辑。 FOL是非常有限的，它不能表示一个事实，即有一个从A点到B点在一些图中的路线（它可以表达的事实，有一个从A点到在有限的长度B点的路线，例如∃ X∃y∃z∃t路线（a，x）和路线（X，Y）和路线（Y，Z）和路径（Z，t）和路线（T，b）意味着有长度为4）的路由。

请参阅描述复杂获得的是什么不同的逻辑的强度的描述

Answer 2

根据 Codd的定理时，关系代数和关系演算是等价的。这是公知的是关系代数不是图灵完成，所以既不是关系演算。

<强> [编辑] 您不能，例如，做聚合操作（如求和，最大值）或使在关系代数/演算递归查询。请参见这里（接近尾声）