×
多米尼克·D·弗雷登伯格。;妮可·施韦卡特

扩展连接正则路径查询的表达性和静态分析。 （英语） Zbl 1409.68082号

J.计算。系统。科学。 79，第6期，892-909（2013）.
摘要：我们研究了静态分析的表现力和复杂性扩展的连接正则路径查询（ECRPQ），由引入P.Barceló等【“图形结构数据路径查询的表达语言”，载于：第29届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，PODS’10。纽约州纽约市：计算机协会（ACM）。3–14 (2010;doi:10.1145/1807085.1807089)]. ECRPQ是联合常规路径查询（CRPQs），一种用于查询图形结构数据库的经过充分研究的语言。我们的第一个主要结果表明，ECRPQ中CRPQ的查询包含和等价性是不可判定的。这解决了Barceló等人提出的主要开放问题之一。作为第二个主要结果，我们证明了CRPQ和ECRPQ的CRPQ可表达片段之间存在非递归简洁性缺口。除此之外，我们还开发了一个工具，用于证明CRPQ和ECRPQ的不可表达结果。特别是，这使我们能够表明，存在可由带反向引用的正则表达式定义但不可由ECRPQ表示的查询。

引用于7文件

MSC公司：

第68页，共15页 数据库理论

关键词：

图形数据库;联合查询;正常关系;常规路径查询;查询包含

软件：

阿尔戈60
PDF格式BibTeX公司 XML格式引用
\textit{D.Freydenberger}和\textit{N.Schweikardt}，J.Compute。系统。科学。79，第6号，892--909（2013；Zbl 1409.68082）
全文： 内政部

参考文献：

[1] Aho，A.，《寻找字符串模式的算法》（van Leeuwen，J.，《理论计算机科学手册》，A卷（1990），Elsevier）·Zbl 0900.68249号
[2] 艾伯特·J。；韦格纳，L.，《同态替换的语言》，理论。计算。科学。，16, 291-305 (1981) ·Zbl 0468.68085号
[5] 坎帕努，C。；萨洛马，K。；Yu，S.，实用正则表达式的正式研究，国际。J.发现。计算。科学。，1007-1018年（2003年）·Zbl 1101.68443号
[6] Deutsch，A。；Tannen，V.，合取正则路径查询类的优化性质，（第六届数据库编程语言国际研讨会论文集（DBPL’01）。程序。第六届数据库编程语言国际研讨会（DBPL’01），计算机课堂讲稿。科学。，第2397卷（2001年），施普林格出版社），21-39·Zbl 1098.68563号
[9] Freydenberger，D.D。；Schweikardt，N.，《扩展连接规则路径查询的表达性和静态分析》，（第五届阿尔贝托·门德尔松数据管理基础国际研讨会（AMW？11）。程序。第五届阿尔贝托·门德尔松数据管理基础国际研讨会（AMW？11），CEUR研讨会程序。，第749卷（2011））·Zbl 1409.68082号
[10] 南卡罗来纳州金斯堡。；Spanier，E.，有界类ALGOL语言，Trans。阿米尔。数学。Soc.，113，2，333-368（1964年）·Zbl 0142.24803号
[11] Harrison，M.，《形式语言理论导论》（1978），Addison-Wesley·Zbl 0411.68058号
[12] Hartmanis，J.，《关于哥德尔语言表征的加速和简洁性》，Theoret。计算。科学。，26, 3, 335-342 (1983) ·Zbl 0526.68034号
[13] Kozen，D.，《计算理论》（2006），施普林格：施普林格伦敦·Zbl 1102.68025号
[14] Kutrib，M.，《非递归权衡现象》，国际。J.发现。计算。科学。，16, 5, 957-973 (2005) ·Zbl 1090.68058号
[15] Libkin，L.，《有限模型理论的要素》（2004），Springer·Zbl 1060.03002号
[16] Sakarovitch，J.，《自动化原理》（2009），剑桥大学出版社·Zbl 1188.68177号
[17] Salomaa，K.，《模式》，（形式语言和应用，形式语言与应用，模糊软计算研究，第148卷（2004），Springer），367-379·Zbl 1089.68059号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。