迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 重写正则表达式和正则路径查询。 （英语） Zbl 1015.68083号 J.计算。系统。科学。 64，第3期，443-465（2002）。 摘要：最近关于半结构化数据的工作重新激发了人们对路径查询的兴趣，即查询数据库中通过符合特定规范的路径（尤其是正则表达式）连接的所有对象对。此外，在半结构化数据中，以及在数据集成、数据仓库和查询优化中，基于视图的查询重写问题受到了广泛关注：给定一个查询和一组视图，生成一个使用这些视图并为原始查询提供答案的新查询。在本文中，我们解决了半结构化数据上下文中基于视图的查询重写问题。我们提出了一种用其他正则表达式计算正则表达式（E）重写的方法。该方法计算精确重写（定义与\（E\）相同的正则语言的重写），如果存在，或者计算定义由\（E\）定义的重写中包含的最大语言的重写，否则。我们对问题和方法进行了复杂性分析，表明后者本质上是最优的。最后，我们说明了如何开发基于视图的重写半结构化数据中规则路径查询的方法。为重写正则表达式而建立的复杂性结果也适用于正则路径查询的情况。 引用于32文件 MSC公司： 2012年第68季度 语法和重写系统 关键词：基于视图的查询重写 软件：图形日志;洛雷尔 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人，J.Compute。系统。科学。64，第3号，443--465（2002；Zbl 1015.68083） 全文： 内政部 参考文献： [1] Abiteboul，S.，查询半结构化数据，Proc。第六届数据库理论国际会议（1997年），第1-18页 [2] 阿达利，S。；坎丹，K.S。；Papakonstantinou，Y。；Subrahmanian，V.S.，分布式中介系统中的查询缓存和优化，Proc。ACM SIGMOD国际数据管理会议（1996），第137-148页 [3] 阿比特布尔，S。；Duschka，O.，《使用物化视图回答查询的复杂性》，Proc。第17届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’98）（1998），第254-265页 [4] Afrati，F.N。；Gergatsoulis，M。；Kavalieros，T.，使用带析取的物化视图回答查询，Proc。第七届国际数据库理论大会（ICDT'99）。程序。第七届数据库理论国际会议（ICDT'99），计算机科学讲义，1540（1999），Springer-Verlag:Springer-Verlag Berlin，p.435-452 [5] 阿比特布尔，S。；奎斯·D·。；McHugh，J。；Widom，J。；Wiener，J.L.，半结构化数据的Lorel查询语言，国际数字图书馆，168-88（1997） [6] 阿比特布尔，S。；Vianu，V.，带约束的常规路径查询，Proc。第16届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’97）（1997），第122-133页 [7] Buneman，P。；戴维森，S。；费尔南德斯，M.F。；Suciu，D.，为非结构化数据添加结构，Proc。第六届数据库理论国际会议（1997年），第336-350页 [8] Buneman，P。；戴维森，S。；希莱布兰德，G。；Suciu，D.，非结构化数据的查询语言和优化技术，Proc。ACM SIGMOD国际数据管理会议（1996），第505-516页 [9] Berger，R.，多米诺骨牌问题的不可判定性，Mem。阿默尔。数学。《社会学杂志》，66，1-72（1966）·Zbl 0199.30802号 [10] Buneman，P。；风扇，W。；Weinstein，S.，《半结构化和结构化数据的路径约束》，Proc。第17届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’98）（1998），第129-138页 [11] 比里，C。；利维，A.Y。；Rousset，M.-C.，使用描述逻辑中的视图重写查询，Proc。第16届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’97）（1997），第99-108页 [12] Buneman，P.，《半结构化数据》，Proc。第16届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’97）（1997），第117-121页 [13] 克里斯托菲德斯五世。；阿比特布尔，S。；克鲁特，S。；Scholl，M.，《从结构化文档到新型查询工具》，（Snodgrass，R.T.；Winslett，M.《ACM SIGMOD Int.Conf.on Management of Data（1994）的程序》），313-324 [14] Calvanee，D。；德贾科莫，G。；Lenzerini，M.，《关于约束条件下查询包含的可判定性》，Proc。第17届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’98）（1998），第149-158页 [15] Calvanee，D。；德贾科莫，G。；Lenzerini，M。；Vardi，M.Y.，使用视图回答常规路径查询，Proc。第16届IEEE数据工程国际会议（ICDE 2000）（2000），第389-398页 [16] Calvanee，D。；德贾科莫，G。；Lenzerini，M。；Vardi，M.Y.，《带反转的连接正则路径查询的包含》，Proc。第七届知识表示与推理原则国际会议（KR’2000）（2000），第176-185页 [17] Calvanee，D。；德贾科莫，G。；伦泽里尼，M。；Vardi，M.Y.，使用视图进行常规路径查询的查询处理，Proc。第19届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS 2000）（2000），第58-66页 [18] 加尔文人，D。；德贾科莫，G。；Lenzerini，M。；Vardi，M.Y.，基于视图的查询处理和约束满足，Proc。第15届IEEE交响乐团。《计算机科学中的逻辑》（LICS 2000）（2000），第361-371页 [19] 南部乔杜里。；克里希纳穆尔西，S。；波塔尼亚诺，S。；Shim，K.，用物化视图优化查询，Proc。第11届IEEE国际数据工程会议（ICDE’95）（1995年） [20] 康森斯，M.P。；Mendelzon，A.O.，《图形日志：现实生活递归的视觉形式主义》，Proc。第九届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’90）（1990），第404-416页 [21] 克鲁兹，I.F。；门德尔松，A.O。；Wood，P.T.，支持递归的图形查询语言，Proc。ACM SIGMOD国际数据管理会议（1987），第323-330页 [22] 科恩，S。；纳特·W。；Serebrenik，A.，使用视图重写聚合查询，Proc。第18届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’99）（1999），第155-166页 [23] Conway，J.H.，《正则代数与有限机器》（1971），查普曼与霍尔：查普曼和霍尔伦敦·Zbl 0231.94041号 [24] O.M.杜施卡。；Genesereth，M.R.，使用视图回答递归查询，Proc。第16届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’97）（1997），第109-116页 [25] O.M.杜施卡。；Genesereth，M.R.，《分离源查询规划》，Proc。AAAI-98人工智能与信息集成研讨会（1998年），AAAI出版社/麻省理工学院出版社 [26] O.M.杜施卡。；Genesereth，M.R。；Levy，A.Y.，数据集成递归查询计划，J.Logic Program。，43，49-73（2000年）·Zbl 0949.68063号 [27] 费尔南德斯，M.F。；Florescu，D。；Kang，J。；利维，A.Y。；Suciu，D.，《用strudel抓船：网上管理系统的经验》，Proc。ACM SIGMOD国际数据管理会议（1998年），第414-425页 [28] 费尔南德斯，M.F。；Florescu，D。；利维，A.Y。；Suciu，D.，网站管理系统的查询语言，SIGMOD记录，26，4-11（1997） [29] Florescu，D。；Levy，A。；Suciu，D.，用正则表达式进行连接查询的查询包含，Proc。第17届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’98）（1998），第139-148页 [30] 费尔南德斯，M.F。；Suciu，D.，使用图形模式优化正则路径表达式，Proc。第14届IEEE数据工程国际会议（ICDE'98）（1998），第14-23页 [31] Halevy，A.Y.，使用视图回答查询的理论，SIGMOD记录，29，40-47（2000） [32] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979年），《艾迪森·韦斯利：艾迪生·韦斯利阅读》·Zbl 0196.01701号 [33] Jones，N.D.，组合问题中的空间边界可约性，《计算机与系统科学杂志》，11，68-75（1975）·Zbl 0317.02039号 [34] 利维，A.Y。；门德尔松，A.O。；萨吉夫，Y。；Srivastava，D.，使用视图回答查询，Proc。第14届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’95）（1995），第95-104页 [35] 门德尔松，A。；米哈伊拉，G.A。；Milo，T.，《查询万维网》，《数字图书馆国际期刊》，第154-67页（1997年） [36] Milo，T。；Suciu，D.，路径表达式的索引结构，Proc。第七届国际数据库理论大会（ICDT'99）。程序。第七届国际数据库理论会议（ICDT’99），《计算机科学讲义》，1540（1999），施普林格出版社：施普林格出版社，柏林，第277-295页 [37] Papakonstantinou，Y。；Vassalos，V.，《使用半结构视图的查询重写》，Proc。ACM SIGMOD国际数据管理会议（1999年） [38] Quass博士。；Rajaraman，A。；萨吉夫，I。；Ullman，J。；Widom，J.，《查询半结构化异构信息》，Proc。第四届演绎数据库和面向对象数据库国际会议（DOOD’95）（1995），Springer-Verlag:Springer-Verlag Berlin，第319-344页 [39] M.O.拉宾。；Scott，D.，有限自动机及其决策问题，IBM J.Res.Develop。，3, 115-125 (1959) ·兹伯利0158.25404 [40] Rajaraman，A。；萨吉夫，Y。；Ullman，J.D.，使用带有绑定模式的模板回答查询，Proc。第14届ACM SIGACT SIGMOD SIGART Symp。《数据库系统原理》（PODS’95）（1995） [41] Savitch，W.J.，《不确定性和确定性磁带复杂性之间的关系》，J.Comp。系统科学。，4, 177-192 (1970) ·Zbl 0188.33502号 [42] Srivastava，D。；达尔·S。；贾加迪什，H.V。；Levy，A.，使用视图聚合回答查询，Proc。第22届超大数据库国际会议（VLDB’96）（1996），第318-329页 [43] O.G.察塔洛斯。；所罗门，M.H。；Ioannidis，Y.E.，《GMAP：物理数据独立性的通用工具》，《超大数据库杂志》，第5期，第101-118页（1996年） [44] Ullman，J.D.，《使用逻辑视图的信息集成》，Proc。第六届国际数据库理论大会（ICDT'97）。程序。第六届数据库理论国际会议（ICDT'97），计算机科学讲稿，1186（1997），Springer-Verlag:Springer-Verlag Berlin，第19-40页 [45] van Emde Boas，P.，Dominoes永垂不朽，Proc。第一届GTI研讨会，Rheie Theoretische Informatik UGH Paderborn（1982），第75-95页 [46] van Emde Boas，P.，《瓷砖的便利性》（Sorbi，A.，《复杂性、逻辑和递归理论》，复杂性、逻辑与递归理论，《纯粹数学和应用数学讲义》，187（1997），马塞尔·德克尔），331-363·Zbl 0874.03050号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。