arXiv 1304.26372013-04cs.DB

嵌套正则表达式的包容性

Containment of Nested Regular Expressions

Juan L. Reutter

摘要：

嵌套正则表达式（NRE）已被提出作为一个强大的形式主义查询RDFS图，但在一个更一般的图数据库上下文中的研究一直很少，目前缺乏静态分析的结果。在本文中，我们研究了NRE的包容问题，并表明它可以在PSPACE中解决，即，与包含正则表达式或正则路径查询（RPQ）的问题相同的复杂性。

英文摘要：

Nested regular expressions (NREs) have been proposed as a powerful formalism for querying RDFS graphs, but research in a more general graph database context has been scarce, and static analysis results are currently lacking. In this paper we investigate the problem of containment of NREs, and show that it can be solved in PSPACE, i.e., the same complexity as the problem of containment of regular expressions or regular path queries (RPQs).

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

高表达性数据库片段的查询包含

Query Containment for Highly Expressive Datalog Fragments

众所周知，数据库查询的包含问题是不可判定的。然而，有几个Datasheet片段的包容性是已知的，最显着的一元Datasheet和几个“常规”的查询语言的图形。最近，作为这些查询语言的联合推广，引入了一元定义的查询语言（MQ）。在本文中，我们研究了各种各样的Datasheet片段与可判定的查询包含，并确定这个问题的精确复杂性结果。我们概括的MQ（边境）守卫的时间（GQs），并表明，包含问题是3ExpTime完整的在任何情况下，即使我们允许任意的数据库中的子查询。如果我们关注图查询语言，即，线性数据库的片段，那么这个复杂度就降低到了2ExpSpace。我们还考虑了嵌套查询，它通过使用内部查询定义的谓词来获得进一步的表达能力。我们表明，嵌套导致查询包容的复杂性呈指数级增长的层次结构，无论是在线性和一般情况下。我们的研究结果解决了（嵌套）MQ的开放问题，他们描绘了一个全面的图片的最先进的数据库查询遏制。

2014-06-30cs.CCcs.DBcs.LO

简单正则路的包含性

Containment of Simple Regular Path Queries

Univ. Bordeaux（波尔多大学）；CNRS（法国国家科学研究中心）；Bordeaux INP（波尔多国立理工学院）；LaBRI（波尔多大学计算机科学研究所）；IIT Bombay（印度理工学院孟买分校）；University of Bayreuth（拜罗伊特大学）

测试查询的包含性是知识表示中的一项基本推理任务。我们在这里研究合取正则路径查询（CRPQs），广泛用于本体和图形数据库查询的导航查询语言的包含问题。虽然我们知道CRPQ的包容性一般是expspace完全的，但我们在这里关注的是严格限制的片段，根据最近的几项研究，这些片段在实践中具有高度相关性。我们获得了一个详细的概述的复杂性的包容问题，这取决于在正则表达式中使用的查询，NP，pitwo，pspace或expspace的完整性结果的功能。

2020-03-09cs.AIcs.DB

DIME上无序XML的模式

Schemas for Unordered XML on a DIME

我们调查模式语言的无序XML没有兄弟姐妹之间的相对顺序。首先，我们提出了无序正则表达式（URES），本质上是具有无序连接而不是标准连接的正则表达式，其定义了无序单词的语言来对节点的允许内容进行建模（即，儿童标签的集合）。然而，不受限制的URES计算太昂贵，因为我们显示URES的两个基本决策问题的棘手性：成员的无序字的语言的一个URES和包含两个URES。因此，我们提出了一个实用的和易于处理的限制URES，析取区间多重性表达式（DIMEs）。接下来，我们使用DIME定义无序树的语言，并提出了两种模式语言：析取区间多重性模式（DIMS），和它的限制，无析取区间多重性模式（IMS）。我们研究了以下静态分析问题的复杂性：模式可满足性，成员的树的语言的模式，模式的包容性，以及小枝查询可满足性，蕴涵，并在存在模式的包容。最后，我们研究了所提出的模式语言的表达能力，并将它们与无序树（FO，MSO和Presburger约束）和DTD交换闭包下的标尺语言进行比较。我们的研究结果表明，所提出的模式语言能够表达许多实用的语言无序树，并享有理想的计算性能。

2014-10-28cs.DB

基于关系数据库和RDF图联邦查询的路径发现

Path discovery by Querying the federation of Relational Database and RDF Graph

用于检测路径的查询的类别是重要的，因为它们可以提取输入图的节点上的隐式二元关系。RDF社区使用的大多数路径查询语言，如W3C SPARQL 1.1中的属性路径和nSPARQL中的嵌套正则表达式都是基于正则表达式的。联合查询允许将图模式和关系数据库组合在一起，从而能够在单个查询中对多个异构数据资源进行评估。W3C SPARQL 1.1中的联邦查询目前在不同的SPARQL端点上进行评估。本文提出了一种联邦路径查询语言，作为常规路径查询语言的扩展，以支持RDF图与关系数据库的集成。联邦路径查询语言绝对比嵌套正则表达式和无否定属性路径更具表达力。其额外的表达能力可以用于捕获嵌套的正则路径查询的合取和联合。尽管表达能力的增加，我们也表明，联邦路径查询仍然享有低计算复杂性，可以有效地进行评估。

2016-10-25cs.DB

最小化合取正则路径查询

Minimizing Conjunctive Regular Path Queries

研究了CRPQs和UCRPQs的查询最小化问题，证明了其可判定性并给出了复杂度边界，其中UCRPQs为ExpSpace完全，使用简单正则表达式时为$Π^p_2$完全。

2025-04-01cs.DB

内射语义下的合取正则路径查询

Conjunctive Regular Path Queries under Injective Semantics

本文为合取正则路径查询引入原子内射和查询内射两种语义，刻画其求值与包含问题的复杂度，证明原子内射下包含问题不可判定、查询内射下为PSPACE-完全，并分析了主要子类的复杂度。

2023-04-13cs.DBcs.FLcs.LO

更多相关论文收起更多论文

嵌套正则路径图的跳跃计算

Jumping Evaluation of Nested Regular Path Queries

嵌套规则路径查询用于查询图数据库和RDF三元组存储。我们提出了一个新的算法，用于评估从一组起始节点在组合线性时间图上的嵌套规则路径查询。我们表明，这个复杂性的上限可以降低，使其依赖于查询的自上而下所需的子图的大小，我们引入的概念。对于实际中的许多查询，自上而下需要的子图比整个图要小得多。我们的算法是基于一种新的编译模式，从嵌套的常规路径查询，一元数据查询。它的复杂性上界来自自顶向下数据库评估的已知属性。作为一个应用程序，我们表明，我们的算法允许重新制定一个非常有效的基于自动机的算法Maneth和Nguyen提出的一个简单的变种，评估基于索引和跳转的数据树中的导航路径查询。此外，它克服了Maneth和Nguyen的一些局限性：它不限于树，适用于图;它不限于向前导航查询，但可以处理任何嵌套的规则路径查询，它可以有效地实现，而无需任何专用技术，通过使用任何有效的数据库评估器，如LogicBlox。

2022-08-05cs.CCcs.DBcs.DS

描述逻辑中的嵌套正则路径映射

Nested Regular Path Queries in Description Logics

CNRS（法国国家科学研究中心）；Univ. Paris Sud（巴黎第十一大学）；Free Univ. of Bozen-Bolzano（博尔扎诺自由大学）；Vienna Univ. of Technology（维也纳工业大学）

双向规则路径查询（2 RPQ）最近受到越来越多的关注，因为它们能够通过灵活地导航图结构数据来关联对象对。它们出现在SPARQL 1.1（新的标准RDF查询语言）和XML查询语言中的属性路径中。在符合ESTA，我们认为2 RPQ的扩展与嵌套，它允许一个要求，沿路径的对象满足复杂的条件，反过来表示通过（嵌套）2 RPQ。本文研究了在描述逻辑中表达领域知识的情况下，回答嵌套2 RPQ及其合取（CN 2 RPQ）的计算复杂性。我们建立严格的复杂性界限的数据和各种DL的组合复杂性，从轻量级DL（DL-Lite，EL）的高度表达的。有趣的是，我们能够证明，向（C）2 RPQ添加嵌套不会影响任何所考虑的DL的查询应答的最坏情况数据复杂度。然而，在轻量级DL的情况下，将嵌套添加到2 RPQ会导致组合复杂性的惊人跳跃，从P-完全到Exp-complete。

2014-03-04cs.AIcs.DBcs.LO

图数据库转换的静态分析

Static Analysis of Graph Database Transformations

本文研究由无环 C2RPQ 类 Datalog 规则定义的图转换，证明类型检查、等价性和目标模式引出在图模式下均为 EXPTIME 完全，并通过环反转将查询包含归约为描述逻辑理论下的可满足性问题。

2023-04-20cs.DB

RDF图上的上下文无关路

Context-Free Path Queries on RDF Graphs

导航图查询是一类重要的查询，它可以提取输入图节点上的隐式二元关系。RDF社区中使用的大多数导航查询语言，例如W3C SPARQL 1.1中的属性路径和nSPARQL中的嵌套正则表达式，都是基于正则表达式的。众所周知，正则表达式具有有限的表达能力;例如，一些自然查询，如同代查询，不能用正则表达式表达。为了克服这一局限性，在本文中，我们提出了cfSPARQL，SPARQL查询语言配备了上下文无关文法的扩展。cfSPARQL语言严格来说比属性路径和嵌套表达式更具表达性。额外的表达能力可以用于建模图相似性，图摘要和本体对齐。尽管增加的表达，我们表明，cfSPARQL仍然享有低计算复杂性，可以有效地进行评估。

2016-10-07cs.DB

关于树木的计数

On the Count of Trees

正则树文法和正则路径表达式构成了程序设计语言和类型系统中广泛使用的核心构造。然而，到目前为止，很少有研究框架的推理路径表达式中的节点基数约束发生沿路径的树。我们提出了一个逻辑能够表达沿路径，其中可能包括任意递归向前和向后导航的深度计数。计数扩展可以被看作是对直接后继节点进行计数的分级模态的推广。虽然组合的分级模态，名义，和逆模态产生不可判定的逻辑图，我们表明，这些功能可以结合在一个可判定的树逻辑，其主要功能可以决定在指数时间。我们的逻辑在否定下是封闭的，它可以用来决定可满足性，与常规类型有关的类型检查，包含或等价等查询上的典型问题。

2010-08-30cs.DB

合取正则路径查询同态的复杂性

Complexity of conjunctive regular path query homomorphisms

CNRS（法国国家科学研究中心）；Clermont Auvergne INP（克莱蒙奥弗涅国立理工学院）；LIMOS（信息与运筹学极限实验室）；LACL（计算语言学与应用逻辑实验室）；Indian Institute of Technology Madras（马德拉斯印度理工学院）；Normandie Univ（诺曼底大学）；UNICAEN（卡昂诺曼底大学）；ENSICAEN（高等师范学院卡昂分校）；GREYC（计算机科学研究与教育混合研究中心）

本文研究两个正则图模式间同态存在性的计算复杂性，该同态对应合取正则路径查询的强包含关系，提出EXPTIME算法，并证明一元字母表下部分情况可多项式求解。

2026-11-04cs.DBcs.DMcs.FL

带数据图上的规则路径查询：一种刚性方法

Regular path queries on graphs with data: A rigid approach

规则路径查询（RPQ）是一种经典的导航查询形式，用于图数据库指定标记路径上的约束。最近，Libkin和Vrgo $\rm \check{c}$扩展了RPQ，将路径上不同节点之间的数据值比较纳入其中，称为带数据的常规路径查询（RDPQ）。研究表明，RDPQ的评价问题在数据复杂度上是PSPACE完全和NLOGSPACE完全的。另一方面，RDPQ的包容问题一般是不可判定的。在本文中，我们提出了一种新的方法来扩展与数据值比较的常规路径查询，称为刚性规则路径查询与数据（RRDPQ）。这种方法的主要成分是一种称为非确定性刚性寄存器自动机（NRRA）的自动机模型，其中数据值比较是\emph{rigid}，在这个意义上，如果将当前位置$x$中的数据值与某个其他位置$y$中的数据值进行比较，则仅使用标签（而不是数据值），可以从$x$唯一地确定位置$y$。我们表明，NRRA是强大的，在这个意义上，非确定性，确定性和双向变体的NRRA，以及正则表达式的扩展，都是相同的表达。然后，我们认为RDPQ的表达能力是合理的，通过证明，对于每个图数据库，有一个本地化的图数据库的转换，使每个RDPQ在原始的图数据库可以变成一个等价的RRDPQ的转换。最后，我们研究了RRDPQ和合取RRDPQ（CRRDPQ）的计算性质。特别是，我们表明，CRRDPQ（和RRDPQ）的遏制可以决定在2EXPSPACE。

2014-02-25cs.DBcs.FLcs.LO

合取正则路的有界性

Boundedness of Conjunctive Regular Path Queries

本文研究了带逆的合取正则路径查询的有界性问题。这是给定UC2RPQ的问题，检查它是否等价于合取查询的联合（UCQ）。我们发现这个问题是ExpSpace完全的，因此与UC2RPQ的复杂性相吻合。作为一个推论，当UC2RPQ是有界的，它相当于一个UCQ的最多三倍指数的大小，事实上，我们表明，这个界是最优的。我们还研究了表现较好的一类UC 2 RPQ，即有界厚度的无圈UC 2 RPQ和强连通UC 2 RPQ，它们的有界性问题分别是P空间完备和$Π^p_2$完备的.大多数上界利用距离自动机的有限性的结果，特别是扩展模型的交替和双向性，这可能是独立的兴趣。

2019-04-01cs.DBcs.DMcs.FL