图形日志 swMATH编号: 20098 软件作者: 康森斯,M。;门德尔松 描述: GraphLog:真实递归的可视化形式。我们提出了一种称为GraphLog的查询语言,它基于数据和查询的图形表示。查询是图形模式。查询中的边表示数据库中的边或路径。正则表达式用于限定这些路径。我们描述了该语言的表达能力,并表明它等价于分层线性Datalog、具有传递闭包的一阶逻辑和非确定性对数空间(假设在域上排序)。后三种类型重合的事实之前并不为人所知。我们展示了如何扩展GraphLog以合并聚合和路径摘要,并简要描述了我们当前的原型实现。 主页: http://dl.acm.org/citation.cfm?id=298591 相关软件: XPath(XPath);SPARQL公司;洛雷尔;数据日志;nSPARQL公司;TGgraphs(TG图表);Z轴;SPARQ2L系列;DLV2型;SWI-预测;亚萨特;github;openCypher(打开密码);NuSMV公司;取消QL;蟒蛇;佩尔 引用于: 34文件 全部的 前5名49位作者引用 5 Leonid O·利金。 5 胡安·卢特(Juan L.Reutter)。 4 多马戈·弗戈奇 三 巴勃罗·巴塞洛 三 莫西·亚亚科夫·瓦尔迪 2 谢尔盖·阿比特布尔 2 玛丽亚诺·康森斯(Mariano P.Consens)。 2 阿戈斯蒂诺·多维尔 2 迭戈·菲格拉 2 塞尔吉奥·弗莱斯卡 2 塞尔吉奥·格雷科 2 埃戈尔·柯斯特列夫(Egor V.Kostylev)。 2 Alberto O·门德尔松。 2 贾库布·米查利辛 2 奥托普,简 2 伊利莎·昆塔雷利 2 米盖尔·罗梅罗 2 维克托·维亚努 2 彼得·兹比格涅夫 2 黄利松 1 迭戈·卡尔瓦内斯 1 阿戈斯蒂诺·科尔特斯 1 朱塞佩·德·贾科莫 1 董国柱 1 尤尔根·埃伯特 1 罗纳德·费金 1 安吉丽卡·弗兰兹克 1 菲利波·富法罗 1 埃里希·格拉德尔 1 本尼·基梅尔菲尔德 1 亚历山大·列斐伏尔 1 塞耶德·卡泽姆·莱拉希 1 毛里齐奥·伦泽里尼 1 刘燕红安妮 1 维姆·马滕斯 1 格雷戈里·麦科姆。 1 穆米克、英迪尔帕尔·辛格 1 弗雷德里克·赖斯 1 西蒙·桑蒂尼 1 沈恩绍 1 奥德·什穆埃利 1 玛丽亚姆·绍兰 1 尼古拉斯·斯皮拉托斯 1 斯科特·斯托勒。 1 莱蒂齐亚·坦卡 1 亚历克斯·托莫 1 田启佳 1 蒂娜·特劳特纳 1 斯迪恩·范萨梅伦 全部的 前5名13篇连载文章中引用 7 理论计算机科学 5 计算机与系统科学杂志 2 信息处理信件 2 美国医学会杂志 2 计算机科学中的逻辑方法 1 SIAM计算机杂志 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 信息与计算 1 图表 1 数学与人工智能年鉴 1 计算系统理论 1 计算机语言、系统和结构 在5个字段中引用 32 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 1 结合环与代数(16-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文