×

图形日志

swMATH ID: 20098
软件作者: 康森斯,M。;门德尔松
说明: GraphLog:真实递归的可视化形式。我们提出了一种称为GraphLog的查询语言,它基于数据和查询的图形表示。查询是图形模式。查询中的边表示数据库中的边或路径。正则表达式用于限定这些路径。我们描述了该语言的表达能力,并表明它等价于分层线性Datalog、具有传递闭包的一阶逻辑和非确定性对数空间(假设在域上排序)。后三种类型重合的事实之前并不为人所知。我们展示了如何扩展GraphLog以合并聚合和路径摘要,并简要描述了我们当前的原型实现。
主页: http://dl.acm.org/citation.cfm?id=298591
相关软件: XPath(XPath)SPARQL公司洛雷尔数据日志nSPARQL公司TGgraphs(TG图表)Z第二部分DLV2型SWI-预测亚萨特githubopenCypher(打开密码)NuSMV公司取消QL蟒蛇佩尔
引用于: 34文件

按年份列出的引文