https://stackoverflow.com/questions/2037818
题
是安全的元组关系演算图灵完整的语言?
解决方案
让我们忘了安全。通过 Codd的定理时,关系演算相当于一阶逻辑。 FOL是非常有限的,它不能表示一个事实,即有一个从A点到B点在一些图中的路线(它可以表达的事实,有一个从A点到在有限的长度B点的路线,例如∃ X∃y∃z∃t路线(a,x)和路线(X,Y)和路线(Y,Z)和路径(Z,t)和路线(T,b)意味着有长度为4)的路由。
请参阅描述复杂获得的是什么不同的逻辑的强度的描述
其他提示
根据 Codd的定理时,关系代数和关系演算是等价的。这是公知的是关系代数不是图灵完成,所以既不是关系演算。
<强> [编辑] 您不能,例如,做聚合操作(如求和,最大值)或使在关系代数/演算递归查询。请参见这里(接近尾声)