×
西蒙·桑蒂尼

图形上带有变量的正则语言。 （英语） Zbl 1279.68174号

Inf.计算。 211, 1-28 (2012).
摘要：本文提出了一种基于正则表达式的模式语言，允许引入变量，这些变量可以实例化为与表达式匹配的路径部分。本文将为该语言及其形式语义定义一个简单的语法。它还将研究有限状态自动机的一种修改，通过引入对转换的操作，允许在匹配表达式时实例化变量。最后，本文将表明，使用变量回答查询的问题本质上比简单匹配更难，这主要是因为，即使对于相当简单的表达式，结果的大小也可能与图形的大小成指数关系。将识别出一类表达式和一类查询回答为多项式的图，并提供和分析基于交集图的这些表达式的处理算法。

引用于1文件

MSC公司：

65年第68季度 形式语言和自动机
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

正则表达式；图；图中的路径；匹配

软件：

佩尔；蟒蛇；XPath（XPath）；图形日志；取消QL
PDF格式BibTeX公司 XML格式引用
\textit{S.Santini}，Inf.计算。211，1--28（2012；Zbl 1279.68174）
全文： 内政部

参考文献：

[1] Buneman，P。；费尔南德斯，M。；Suciu，D.，UnQL:基于结构递归的半结构化数据的查询语言和代数，VLDB J.，9，76-110（2000）
[2] M.Consens，A.Mendelzon，GraphLog:现实生活递归的可视化形式主义，见：第九届SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，1990年，第404-416页。；M.Consens，A.Mendelzon，GraphLog:现实生活递归的可视化形式主义，收录于：第九届SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，1990年，第404-416页。
[3] Abiteboul，S。；奎斯·D·。；麦克休，J。；Widom，J。；Wiener，J.，《半结构化数据的洛雷尔语言》，《国际数学家杂志》。伦敦银行同业拆借利率。，1, 1, 68-88 (1997)
[4] L.Sheng，Z.M.̌zsoyog \780]lu，G.Ṹzsoyogˆlu，一种图形查询语言及其查询处理，收录于：《第十五届国际数据工程会议论文集》，1999年。；L.Sheng，Z.M.̌zsoyog \780]lu，G.̔zsoyogɄlu，一种图形查询语言及其查询处理，收录于：《第十五届国际数据工程会议论文集》，1999年。
[5] Neven，F。；Schwentick，T.，树结构数据的基于自动和逻辑的模式语言，（数据库中的语义。数据库中的语义学，计算科学中的讲义，第2582卷（2001年），Springer-Verlag:Springer-Verlag Heidelberg），160-178·Zbl 1017.68063号
[6] Marx，M.，条件扩展，ACM Trans。数据库系统。，30, 4, 929-959 (2005)
[7] Santini，S。；Gupta，A.，《查询有向非循环图的微积分和代数》（Riquelme，J.；Botella，P.，XV Journadas de IngenieríA del software y bases de datos（2006），CIMNE:CIMNE Barcelona）
[8] 弗莱斯卡，S。；Furfaro，F。；Greco，S.，《半结构化数据库上的加权路径查询》，Inform。和计算。，204, 5, 679-696 (2006) ·Zbl 1101.68517号
[9] J.Clark，S.DeRose，Xml路径语言（xpath）版本。2.0，建议，万维网联盟，在线，2007年。；J.Clark，S.DeRose，Xml路径语言（xpath）版本。2.0，建议，万维网联盟，在线，2007年。
[10] Marx，M.，有序树中的一阶路径，（Eiter，T.；Libkin，L.，《数据库理论国际会议论文集》，《国际数据库理论会议论文集，计算科学讲义》，第3363卷（2005年），Springer-Verlag:Springer-Verlag-Heidelberg），114-128·Zbl 1112.68370号
[11] Cate，B.T.，具有传递闭包的xpath的表示性，（SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集（2006），ACM出版社），328-337
[12] Calvanee，D。；德贾科莫，G。；Lenzerini，M。；Vardi，M.，《常规路径查询的推理》，SIGMOD Rec.，32，4，83-92（2003）
[13] D.Calvanee，G.De Giacomo，M.Lenzerini，M.Vardi，使用视图进行带反转的常规路径查询的查询处理，见：SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，2000年，第58-66页。；D.Calvanee，G.De Giacomo，M.Lenzerini，M.Vardi，使用视图进行带反转的常规路径查询的查询处理，见：SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，2000年，第58-66页。
[14] Aho，A.V.，《寻找字符串模式的算法》（《理论计算机科学手册》，A卷：算法与复杂性（1990），爱思唯尔/麻省理工学院出版社）·兹比尔0900.68249
[15] A.Mendelzon，P.Wood，《在图形数据库中发现规则简单路径》，载于：《超大数据库国际会议论文集》，1989年，第185-93页。；A.Mendelzon，P.Wood，《在图形数据库中寻找规则简单路径》，载于：《超大数据库国际会议论文集》，1989年，第185-93页。
[16] Tennent，R.D.，《程序设计语言的语义》（1991），普伦蒂斯·霍尔：普伦蒂斯霍尔-恩格伍德悬崖·Zbl 0792.68095号
[17] 亨特·H·B。；罗森克兰茨博士。；Szymanski，T.G.，《正则语言和无上下文语言的等价、包容和覆盖问题》，J.Compute。系统科学。，12, 222-268 (1976) ·Zbl 0334.68044号
[18] Neven，F.，Automata，logic，and xml，（计算机科学逻辑：第16届国际研讨会，CSL 2002，EACSL第11届年会。计算机科学逻辑，第16届世界研讨会，CSL2002，第11届EACSL年会，计算机科学讲义，第2471卷（2002），Springer-Verlag:Springer-Verlag Heidelberg）·Zbl 1020.68044号
[19] Neven，F。；Schwentick，T.，《关于树行走自动机的力量》，Inform。和计算。，183, 1, 86-103 (2003) ·Zbl 1054.68086号
[20] 尼瓦特，M。；Podelski，A.，最小升降树自动机，SIAM J.Compute。，26, 1, 39-58 (1997) ·Zbl 0868.68080号
[21] E.A.Emerson，C.S.Jutla，树自动机，微积分和不确定性，收录于：第32届计算机科学基础年会，1991年。；E.A.Emerson，C.S.Jutla，树自动机，微积分和不确定性，收录于：第32届计算机科学基础年会，1991年。
[22] 门德尔松，A.O。；Wood，P.T.，《在图形数据库中寻找规则简单路径》，SIAM J.Compute。，24, 6, 1235-1258 (1995) ·Zbl 0845.68033号
[23] Beame，P。；硼蛋白，P。；Raghavan，A。；Ruzzo，W.L。；Tompa，M.，图自动机无向图遍历的时空权衡，Inform。和计算。，130, 2, 101-129 (1996) ·Zbl 0872.68067号
[24] Kamimura，T。；Slutzki，G.，有向有序非循环图上的并行和双向自动机，Inf.Control，49，1，10-51（1981）·Zbl 0482.68051号
[25] Brookshear，J.G.，《计算理论：形式语言、自动机和复杂性》（1989），Addison-Wesley·Zbl 0678.68001号
[26] 查普曼，N.，PERL-《程序员的伴侣》（1997），威利：威利·奇切斯特
[27] Lutz，M.，《Python编程》（2011年），O′Reilly:O′Relly Cambridge·Zbl 0967.68026号
[28] T.Abou-Assaleh，W.Ai，《全球正则表达式打印（grep）工具调查》，未出版手稿，在线提供，2004年。；T.Abou-Assaleh，W.Ai，《全球正则表达式打印（grep）工具调查》，未出版手稿，在线提供，2004年。
[29] M.E.Lesk，Lex-词法分析器生成器，计算机科学技术报告，AT&T贝尔实验室，马萨诸塞州雷丁，1975年。；M.E.Lesk，Lex-词法分析器生成器，计算机科学技术报告，AT&T贝尔实验室，马萨诸塞州雷丁，1975年。
[30] 拉宾，M。；Scott，D.，有限自动机及其决策问题，IBM研究发展杂志。，3, 114-125 (1959) ·Zbl 0158.25404号
[31] Thompson，K.，正则表达式搜索算法，Commun。ACM，11，6，419-422（1968）·Zbl 0164.46205号
[32] R.Cox，正则表达式匹配可以简单快速（但在java、perl、php、python、ruby…中速度较慢），未发表的手稿，在线提供，2007年。；R.Cox，正则表达式匹配可以简单而快速（但在java、perl、php、python、ruby等中速度较慢），在线提供的未发表手稿，2007年。
[33] Larsen，K.S.，带有嵌套反向引用级别的正则表达式形成了一个层次结构Inform。过程。莱特。，65, 169-172 (1998) ·Zbl 1339.68150号
[34] C.Cámpeanu，N.Santean，解决正则表达式的开放问题，技术报告10，滑铁卢大学，2007年。；C.Câmpeanu，N.Santean，《解决正则表达式的开放问题》，技术报告10，滑铁卢大学，2007年。
[35] Cámpeanu，C。；萨洛马，K。；Yu，S.，实用正则表达式的正式研究，国际。J.发现。计算。科学。，14, 6, 1007-1018 (2003) ·Zbl 1101.68443号
[36] V.Laurikari，正则表达式的高效子匹配寻址，赫尔辛基理工大学计算机科学与工程系硕士论文，2001。；V.Laurikari，正则表达式的高效子匹配寻址，赫尔辛基理工大学计算机科学与工程系硕士论文，2001年。
[37] Cámpeanu，C。；Yu，S.，模式表达式和模式自动机，Inform。过程。莱特。，92, 267-274 (2004) ·Zbl 1173.68546号
[38] 克拉克，C.L.A。；Cormack，G.V.，《关于使用正则表达式搜索文本》，ACM Trans。程序。语言系统。，19, 3, 413-426 (1997)
[39] 中田，I。；Sassa，M.，《带语义规则的正则表达式及其在数据结构定向程序中的应用》，Adv.Softw。科学。技术。，3, 93-108 (1991)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。