可以准确地说，在现有的图形查询语言（Cypher、Datalog、Sparql 等）中，Gremlin 是唯一一个图灵完备的语言吗？
万一这很重要，我不是在寻找像 Magic: the Gathering 的图灵完整性证明这样的边缘案例；我的问题的目的是 Gremlin 是否是唯一适合在实践中对图执行任意计算的图查询语言。
问问题
878 次
3 回答
3
于 2018-06-24T00:05:19.457 回答
3
我不确定您在etc.. 但我认为你的说法是正确的。正如您所说，您不是在寻找边缘情况或对语言的奇异操作。
然而，我们不应该将图灵完备性视为必备功能。声明式查询语言的强大之处在于，繁重的工作由系统完成，而用户只描述他们正在寻找的内容。这具有额外的优势，即系统能够找到优化的计划以获取正确的信息。
于 2018-02-14T11:51:05.040 回答
0
如果通过循环或递归扩展，SPARQL 是图灵完备的，https: //www.brunni.de/pdp1/ 下的一些代码示例。
但问题是图灵完备性是否真的是查询语言的理想特性，因为这意味着语言中有不可判定的语句（即无限循环）。因此，将图灵完备性转化为一种或另一种语言的论证几乎没有价值。实际上，这将是设计不是图灵完备的查询语言的基本原理，因为应用程序有两个无限循环来源，一个是编程语言，一个是查询语言，这使得整个事情更难调试。
于 2022-01-12T13:46:19.537 回答