图灵齐全的图形查询语言

Question

现在的图形查询语言（Cypher，Datalog，Sparql等）是否准确？Gremlin是唯一一个图灵完成的人？

如果重要的话，我不是在寻找像魔法的图灵完整性证明：聚会的边缘情况;我的问题的目的是Gremlin是否是唯一适合在图表上执行任意计算的图形查询语言。

Answer 1

• 密码未完成图灵
• GSQL已完成图灵
• 克里姆林宫已经完成图灵。

在本白皮书中查看它们的详细比较

https://info.tigergraph.com/gsql

Answer 2

我不确定你在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

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