×

使用布尔文法对非循环图进行路径查询。 (英语) Zbl 1477.68094号

摘要:图形数据模型广泛应用于计算机科学的不同领域,例如图形数据库、生物信息学、社会网络分析和静态代码分析。查询特定路径是图形数据分析中要解决的主要问题之一。路径查询通常通过描述路径的可接受边标记的形式语法来执行。如果一个路径查询被计算为三元组\((A,{{v}}_1},{{{v{}}_2})\,从而有一个从\({{vneneneep}_1}\)到\({{v}{_2}\)的路径,并且沿着该路径的边标签的串联形成了一个可从非终结符\(A\)派生的字符串,则称其为使用关系查询语义进行计算。由于正则和无上下文语言的表达能力有限,我们将重点放在更具表达能力的语言上,即使用布尔语法描述路径标记的布尔语言。尽管使用关系查询语义和布尔文法的路径查询是不可判定的,但在本文中,我们提出了一种基于非循环有向图的路径查询算法,该算法使用关系查询语义学和布尔文法来近似解决路径查询问题。为了获得比naive算法更好的性能,本文考虑的图类仅限于非循环图。

MSC公司:

第68页第15页 数据库理论
2012年第68季度 语法和重写系统
68兰特 计算机科学中的图论(包括图形绘制)

软件:

SPARQL公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] BarcelóBaeza,P.,查询图形数据库,Proc。第32届ACM SIGMOD-SIGACTSIGAI交响乐团。数据库系统原理(PODS),2013年,第175-188页。
[2] 门德尔松,A。;Wood,P.,《在图形数据库中寻找规则简单路径》,SIAM J.Compute。,24, 1235-1258 (1995) ·Zbl 0845.68033号 ·doi:10.1137/S00975397979122370X
[3] Anderson,J.W.,《量化比较RNA二级结构预测中的差异》(2013年)·doi:10.1186/1471-2105-14-149
[4] Chaudhary,A.和Faisal,A.,图形数据库在社交网络中的作用,2016年。http://www.researchgate.net/publication/304462174_Role_of_graph_databases_in_social_networks。
[5] Warchał,Ł。,《在社交网络分析中使用Neo4j图形数据库》,Studia Inf.,33,271-279(2012)
[6] Reps,T.,通过图形可达性进行程序分析,Proc。国际交响乐团。逻辑编程(ILPS),1997年,第5-19页·Zbl 0944.68038号
[7] Zhang,Q.和Su,Z.,通过线性连接语言可达性进行上下文敏感数据依赖分析,Proc。第44届ACM SIGPLAN Symp。《程序设计语言原理》,2017年,第344-358页·兹比尔1380.68262
[8] Yuan,H.和Eugster,P.,解决树上Dyck-CFL可达性问题的有效算法,Proc。欧洲第18交响曲。作为Jt的一部分的编程语言和系统。《欧洲软件理论与实践》(ETAPS),2009年,第175-189页·Zbl 1234.68244号
[9] Neo4j Inc.,Neo4j的图形查询语言:Cypher简介。https://neo4j.com/developer/cypher-query-language。
[10] 罗德里格斯(Rodriguez),文学硕士,《小鬼图遍历机器和语言》(The gremlin graph traversal machine and language)(特邀演讲),Proc。第十五交响曲。数据库编程语言,2015年,第1-10页。
[11] Prud’hommeaux,E.和Seaborne,A.,Eds.,RDF的SPARQL查询语言。http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115。
[12] Okhotin,A.,连接文法,J.Autom。,Lang.组合数学,6519-535(2001)·兹比尔1004.68082
[13] Okhotin,A.,布尔文法,Inf.Compute。,194, 19-48 (2004) ·Zbl 1073.68037号 ·doi:10.1016/j.ic.2004.03.006
[14] Hellings,J.,《使用无上下文路径查询查询图中的路径》,2015年。
[15] Hellings,J.,《连接无上下文路径查询》,Proc。国际Conf.数据库理论(ICDT),2014年,第119-130页。
[16] Sevon,P.和Eronen,L.,《基于上下文无关文法的子图查询》,J.Integr。生物信息。,2008年,第5卷,第2期。
[17] Zhang,X.,et al.,RDF图上的无上下文路径查询,Proc。《国际语义网络会议》,2016年,第632-648页。
[18] Grigorev,S.和Ragozina,A.,结果结构化表示的无上下文路径查询,Proc。13美分。东部。俄罗斯欧洲软件工程会议(CEESECR),2017年。
[19] Azimov,R.Sh.和Grigorev,S.V.,矩阵乘法上下文自由路径查询,2017。
[20] Azimov,R.Sh.和Grigorev,S.V.,使用连接语法的路径查询,Tr.Inst.Sist。程序。罗斯。阿卡德。Nauk(Proc.Inst.Syst.Program,Russ.Acad.Sci.),2018年,第30卷,第2期,第149-166页。doi:10.15514/ISPRAS-2018-30(2)-8
[21] Valiant,L.G.,《不到立方时间的一般无上下文识别》,J.Compute。系统。科学。,10, 308-315 (1975) ·Zbl 0312.68042号 ·doi:10.1016/S0022-0000(75)80046-8
[22] Okhotin,A.,广义到布尔语法的矩阵乘法解析,Theor。计算。科学。,516, 101-120 (2014) ·Zbl 1277.68108号 ·doi:10.1016/j.tcs.2013.09.011
[23] Arlazarov,V.L。;迪尼茨,Y.A。;Kronrod,M.A。;Faradzhev,I.A.,关于有向图传递闭包的经济构造,Dokl。阿卡德。Nauk SSSR,194487-488(1970)·Zbl 0214.23601号
[24] 瓦西列夫斯卡,W.V.,《矩阵乘法比科珀斯密特·温诺格拉德更快》,Proc。第四十四交响曲。《计算理论》(STOC),2012年,第887-898页·Zbl 1286.65056号
[25] Tarjan,R.E.,深度-第一搜索和线性图算法,Proc。第12年。交响乐团。交换与自动机理论(SWAT),1971年,第114-121页。
[26] Koschmieder,A.和Leser,U.,大型图上的正则路径查询,Proc。第24届国际科学与统计数据库管理大会(SSDBM),2012年,第177-194页。
[27] Reutter,J.L。;罗梅罗,M。;Vardi,M.Y.,《图形数据库的常规查询》,Theor。计算。系统。,61, 31-83 (2017) ·Zbl 1375.68047号 ·doi:10.1007/s00224-016-9676-2
[28] 卢,C。;Yu,J.X。;李,R。;Wei,H.,探索在线社交网络中的层次结构,IEEE Trans。知识数据工程,28,2086-2100(2016)·doi:10.1109/TKDE.2016.2546243
[29] Sridharan,M.、Gopan,D.、Shan,L.和Bodík,R.,《需求驱动的Java分析要点》,Proc。每年20日。ACM SIGPLAN Conf.面向对象编程、系统、语言和应用(OOPSLA),2005年,第59-76页。
[30] Terekhov,A.N。;洛杉矶埃尔利克。;Terekhov,A.A.,RescueWare项目的历史和建筑(2000)
[31] Medeiros,C.M.、Musicante,M.A.和Costa,U.S.,《图形数据库无上下文路径查询的有效评估》,Proc。第33年。ACM研讨会。应用计算(SAC),2018年,第1230-1237页。
[32] 罗森克兰茨,D.J。;Stearns,R.E.,确定性自上而下文法的性质,Inf.Control,17,226-256(1970)·Zbl 0209.02703号 ·doi:10.1016/S0019-9958(70)90446-8
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。