sql - 图灵完备的图查询语言

Question

准确地说，在现有的图形查询语言(Cypher、Datalog、Sparql 等)中，Gremlin 是唯一一个图灵完备的吗？

万一这很重要，我不是在寻找像 Magic: the Gathering 的图灵完备性证明这样的边缘案例；我的问题的目的是 Gremlin 是否是唯一适合在实践中对图执行任意计算的图查询语言。

Answer 1

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

1. Cypher is not turing complete
2. SQL is not properly t.c.
3. By any practical definition, SPARQL is not t.c.
4. Datalog is not t.c.
5. AQL is more or less as powerful as standard SQL

然而，我们不应该将图灵完备性视为必备功能。声明式查询语言的强大之处在于，繁重的工作由系统完成，而用户只是描述他们正在寻找的内容。这具有额外的优势，即系统能够找到优化的计划以获取正确的信息。