Gremlin 图灵完全图查询语言
在现有的图形查询语言(Cypher、Datalog、Sparql等)中,Gremlin是唯一一种图灵完备的语言,这准确吗Gremlin 图灵完全图查询语言,gremlin,graph-traversal,turing-complete,Gremlin,Graph Traversal,Turing Complete,在现有的图形查询语言(Cypher、Datalog、Sparql等)中,Gremlin是唯一一种图灵完备的语言,这准确吗 如果这很重要的话,我不是在寻找像图灵完整性魔法证明这样的边缘案例:集合;我的问题的目的是,Gremlin是否是唯一一种在实践中适合在图形上执行任意计算的图形查询语言。我不确定您在等中包含了什么。。 但我认为你的说法是正确的。正如您所说,您并不是在寻找边缘案例或语言的异国操纵 然而,我们不应该将图灵完整性视为必须具备的特性。声明式查询语言的强大之处在于,繁重的工作是由
如果这很重要的话,我不是在寻找像图灵完整性魔法证明这样的边缘案例:集合;我的问题的目的是,Gremlin是否是唯一一种在实践中适合在图形上执行任意计算的图形查询语言。我不确定您在
等中包含了什么。
。
但我认为你的说法是正确的。正如您所说,您并不是在寻找边缘案例或语言的异国操纵
然而,我们不应该将图灵完整性视为必须具备的特性。声明式查询语言的强大之处在于,繁重的工作是由系统完成的,而用户只是描述他们在寻找什么。这还有一个额外的优点,即系统能够找到优化的计划以获得正确的信息。- cypher不是图灵完整的
- GSQL是图灵完备的
- 小精灵图灵完成了李>
SQL并不是图灵完备的,但它并没有阻止大批程序员将其与其他计算系统混合使用,从而构建高效的系统。您必须更具体一点。数据日志的一个优点是它不是图灵完整的。这意味着它可以利用t.c.big brother prolog无法使用的高效解析算法。