图灵完备图查询语言

Question

是否准确地说，在现有的图查询语言（Cypher、Datalog、Sparql 等）中，Gremlin 是唯一一种图灵完备的语言？

如果重要的话，我并不是在寻找像《万智牌》的图灵完备性证明这样的边缘情况；我的问题的目的是 Gremlin 是否是唯一适合在实践中对图执行任意计算的图查询语言。

Answer 1

我不确定你在etc.. 但我认为你的说法是正确的。正如您所说，您并不是在寻找边缘情况或对语言的奇异操作。

1. Cypher 不是图灵完备的
2. SQL 不正确 tc
3. 从任何实际定义来看，SPARQL 都不是 tc
4. 数据记录不是 tc
5. AQL 或多或少与标准 SQL 一样强大

然而，我们不应该将图灵完整性视为必须具备的功能。声明式查询语言的强大之处在于，艰苦的工作由系统完成，而用户只需描述他们正在寻找的内容。这样做的另一个优点是系统能够找到优化的计划来获取正确的信息。