The complexity of reverse engineering problems for conjunctive queries
合取查询（CQ）的逆向工程问题，例如按示例查询（QBE）或可定义性，采用一组用户示例并将其转换为解释性CQ。尽管它们很重要，但这些问题的复杂性高得令人望而却步（coNEXPTIME-完全）。我们隔离他们的两个主要来源的复杂性，并提出放宽他们，降低复杂性，同时有意义的理论解释。第一个放松是基于使用存在卵石游戏近似同态测试的想法。我们表明，这特征QBE/可定义的CQ树宽$k$，同时降低复杂性EXPTIME。作为一个副产品，我们得到的复杂性的QBE/可定义性问题的CQ的树宽$k$是EXPTIME完全的每个$k \geq 1$。第二个放松是基于“去重化”直积的思想，它表征了CQ的并集的QBE/可定义性，并降低了coNP的复杂性。这两个松弛的组合产生了QBE的易处理性，并以树宽至多为$k$的CQ的并集来表征它。我们还研究了这些问题的复杂性，图数据库上的合取规则路径查询，显示它们并不比CQ更困难。
2016-07-07 cs.DB cs.LO
Someone slept in my bed! On the entailment problem for conjunctive queries with safe negation over DL-Lite$_{core}$ knowledge bases
University of Wrocław（弗罗茨瓦夫大学）
解决长期存在的开放问题，证明在DL-Lite$_{core}$知识库上带安全否定的合取查询的查询回答是不可判定的。
2026-07-07 cs.LO
Conjunctive Queries for Logic-Based Information Extraction
本文提出了两种基于逻辑的信息抽取中的合取查询方法。第一种也是主要的方法是引入逻辑FC和FC[REG]的合取查询片段，分别表示为FC-CQ和FC[REG]-CQ。FC是一种基于词方程的一阶逻辑，其中语义通过将论域限制为某个有限输入词的因子来定义。FC[REG]是带有正则约束的FC扩展。第二种方法是考虑FC的动态复杂性。
2022-08-02 cs.DB cs.FL cs.LO
Conjunctive Queries over Trees
我们研究的复杂性和表达能力的合取查询无排名的标记树表示使用各种结构关系，如“孩子”，“后代”，“以下”以及一元关系的节点标签。我们建立了一个框架，用于表征表示树的结构，可以有效地评估合取查询。然后，我们完全绘制了问题的易处理边界，并为我们的轴关系建立了一个二分法定理，即，我们发现所有的子集最大集的轴查询评估是在多项式时间，并表明，对于所有其他情况下，查询评估是NP-完全的。所有的多项式时间的结果，立即获得使用我们的框架的证明技术。最后，我们研究了树上的合取查询的表达性，并证明了对于每个合取查询，存在一个等价的非循环正查询（即，一组非循环合取查询），但是通常该查询不是多项式大小的。
2006-02-02 cs.AI cs.CC cs.DB
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries
连接数据库查询已经扩展了对象创建机制，以捕获重要的应用程序，如数据交换，数据集成和基于本体的数据访问。对象创建会在结果中生成新的对象标识符，这些标识符不属于源数据库中的常量集。新的对象标识符也可以被视为Skolem项。因此，对象创建合取查询也可以被视为受限的二阶元组生成依赖关系（SO tgds），在数据交换文献中考虑。在本文中，我们专注于类的单功能对象创建合取查询，或sifo的CQ为短。我们给出了一个新的特征的oid等价的sifo CQ，这是简单的比赫尔和吉川，并把问题的复杂性类NP。我们的特征是基于科恩的等价概念的连接查询的多重性。我们还解决了sifo CQ的逻辑蕴涵问题，表明这个问题也属于NP。Pichler等人的结果表明，更一般的SO tgds类的逻辑等价要么是不可判定的，要么是可判定的，但复杂度上界未知。
2016-01-12 cs.AI cs.DB cs.LO
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)
在本体介导的查询应答中，对不完整数据源的访问由本体构成的概念层介导。为了正确地计算查询的答案，有必要对本体所表达的约束进行复杂的推理。在文献中，存在大量的技术，将本体知识的查询。然而，这些方法中很少有被设计用于查询答案的可理解性。在这篇文章中，我们试图弥合这两个质量，适应证明框架最初适用于公理蕴涵的合取查询回答。我们调查的数据和组合的复杂性，确定存在的证明低于一个给定的质量阈值，这可以通过不同的方式来衡量。通过区分各种参数，如查询的形状，我们获得了这个问题的轻量级本体语言DL-Lite_R和EL的复杂性的概述，也有一个简短的时间查询回答。
2022-08-16 cs.DB cs.LO
Constant delay enumeration with FPT-preprocessing for conjunctive queries of bounded submodular width
Marx（STOC~2010，J.~ ACM 2013）引入了合取查询（CQ）的子模宽度的概念，并表明对于任何具有有界子模宽度的布尔CQ类$Φ$，所有有限结构类上的$Φ$的模型检查问题是固定参数可处理的（FPT）。请注意，对于非布尔查询，查询结果的大小可能太大，无法在FPT时间内完全计算。我们调查的自由连接的子模块的宽度和概括马克思的结果，非布尔查询如下：对于每一类$Φ$的CQ有界自由连接的子模块的宽度，FPT预处理时间内，我们可以建立一个数据结构，允许枚举，没有重复和不断延迟，所有元组的查询结果。我们的证明建立在马克思的分裂例程，将查询结果分解为结果的联合;但我们必须解决额外的技术困难，以确保这些可以有效地枚举。
2020-03-02 cs.DB cs.LO
On the non-efficient PAC learnability of conjunctive queries
University of Amsterdam（阿姆斯特丹大学）；Leipzig University（莱比锡大学）；TU Dortmund University（多特蒙德工业大学）
本文论述了合取查询在PAC模型中不可高效学习，证明了对受限CQs类的强否定结果，并表明成员查询下CQs和UCQs可高效学习。
2023-07-26 cs.AI cs.DB cs.LG
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-01 cs.DB cs.DM cs.FL
Answering Conjunctive Queries under Updates
我们考虑的任务是枚举和计数的$k$ -ary合取查询对关系数据库，可以通过插入或删除元组更新的答案。我们展示了一个新的概念，q-层次合取查询，并表明这些可以有效地保持在以下意义上。在线性时间预处理阶段，我们可以建立一个数据结构，使查询结果的常数延迟枚举;当数据库更新时，我们可以更新数据结构，并在常数时间内重新启动枚举阶段。对于自连接自由合取查询的特殊情况，我们得到一个二分法：如果查询不是q-层次的，那么查询枚举与次线性$^\ast$延迟和次线性更新时间（和任意预处理时间）是不可能的。为了回答布尔合取查询和更一般的问题，计数的解决方案的k元查询，我们得到完整的二分法：如果查询的同态核心是q-层次，那么查询结果的大小可以计算在线性时间和保持恒定的更新时间。否则，查询结果的大小不能保持次线性更新时间。我们所有的下界都依赖于OMv猜想，这是一个关于在线矩阵向量乘法的难度的猜想，最近出现在细粒度复杂性领域，以解决动态问题的难度。计数问题的下限还依赖于正交向量猜想，这反过来又隐含着强指数时间假设。$^\ast)$次线性是指某些$\varepsilon>0$的$O(n^{1-\varepsilon})$，其中$n$是当前数据库活动域的大小。
2017-02-21 cs.DB cs.DS cs.LO
Structural Tractability of Counting of Solutions to Conjunctive Queries
在本文中，我们将探讨合取查询的计数解决方案的问题。我们考虑一个参数称为\emph{quantified star size}的公式$φ$的自由变量是如何传播的$φ$。我们表明，对于合取查询，承认很好的分解性能（如有界树宽或广义超树宽度）有界量化星大小的特点，正是类的查询，计数的解决方案是听话的。这也使我们能够充分表征的合取查询计数的解决方案是听话的情况下，有界的arity。为了说明我们的研究结果的适用性，我们还表明，计算公式的量化星大小是可能的，在时间$n^{O(k)}$查询广义超树宽度$k$。此外，量化的星大小甚至是固定参数易处理的一些其他的宽度措施，而它是$\W{1}$ -硬广义超树宽度，因此不太可能是固定参数易处理的。最后，我们展示了如何计算量化的星大小的近似在多项式时间的近似比取决于输入的宽度。
2013-03-08 cs.LO
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院）；Oxford University Computing Laboratory（牛津大学计算实验室）
描述逻辑是知识表示的形式主义，它提供了例如W3C OWL标准的逻辑基础。合取查询是数据库中的标准查询语言，作为查询描述逻辑知识库的一种表达形式，近年来得到了广泛的关注。几种不同的技术，决定合取查询蕴涵可用于广泛的DL。然而，OWL 1和OWL 2 DL中的名词、逆角色和数量限制的组合导致了迄今为止可用的技术无法解决的问题。我们解决这个问题，并提出了一个决定性的结果蕴涵工会的合取查询在DL ALCHOIQb，同时包含所有三个有问题的建设者。提供查询只包含简单的角色，我们的结果也显示了可判定性蕴涵（工会）合取查询的逻辑，支持OWL 1 DL，我们相信，所提出的结果将铺平道路，进一步取得进展合取查询蕴涵决策程序的描述逻辑基础的OWL标准。
2014-01-16 cs.AI cs.LO
Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions
这份报告提出了一个基本的理论统一的积极合取查询。正合取查询是使用合取$\wedge$和存在量词$\exists$从命题常数、方程和原子构造的公式。特别地，空查询对应于存在量化的方程组--称为$\cal E$ -公式。我们提供了一个算法，将任何合取查询到一个解决的形式。我们证明了查询的一些格理论性质。特别地，在等价关系下的$\cal E$ -公式的商集形成完备格。然后我们提出另一个格--有限替换格。我们证明了这两个格是同构的。最后，我们介绍了应用置换公式的概念，并阐明了它与$\cal E$ -公式的关系。这一理论可以被看作是逻辑程序设计的替代表示的基础。
2022-07-18 cs.LO cs.PL
Enumeration and updates for conjunctive linear algebra queries through expressibility
UHasselt（哈瑟尔特大学）；PUC Chile（智利天主教 Pontificia 大学）
本文通过可表达性研究线性代数程序与联合一阶逻辑片段的关系，确定其在预处理后可实现常数延迟枚举和常数时间更新的特性。
2025-12-30 cs.CC cs.DB cs.DS
Conjunctive Regular Path Queries under Injective Semantics
本文为合取正则路径查询引入原子内射和查询内射两种语义，刻画其求值与包含问题的复杂度，证明原子内射下包含问题不可判定、查询内射下为PSPACE-完全，并分析了主要子类的复杂度。
2023-04-13 cs.DB cs.FL cs.LO
Graphical Conjunctive Queries
合取运算（CCQ）在数据库理论中具有基础性地位。Chandra和Merlin的一个著名定理指出CCQ查询包含是可判定的。它的证明将逻辑公式转换为图：每个查询都有一个自然模型-一种图-并且查询包含减少到自然模型之间的图同态的存在。我们介绍了图形语言图形连接符（GCQ），并表明它具有相同的表达CCQ。GCQ术语是字符串图，它们的代数结构允许我们推导出一个健全的和完整的公理化的查询包含，这原来正是Carboni和Walters的概念的carbonitebicategory的关系。我们的完备性证明利用了超图（的某些cospans）的弦图的组合性质：钱德拉和梅林的见解启发了一个定理，将这种cospans与跨度联系起来。GCQ的（非）方程理论的完备性和可判定性作为推论遵循。范畴地说，我们的贡献是一个模型理论的完备性定理的自由carbonatebicategories（关系签名）的类别的集合和关系。
2018-04-20 cs.LO
Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries and Constraint Satisfaction Problems
已经开发了结构分解方法，用于识别数据库中基本问题的实例的易处理类别，例如人工智能中的约束满足问题的合取查询和查询包含，或者更一般地关系结构上的同态问题。大多数结构分解方法可以通过超图游戏来表征，超图游戏是Robber和Cops图游戏的变体，其特征在于树宽的概念。特别地，分解树在某种程度上对应于单调获胜策略，其中超图上的强盗的逃跑空间被警察单调缩小。事实上，与树宽的情况不同，超图中不存在单调策略，而强盗可以通过更复杂的非单调策略来捕获。然而，这些强大的策略一般不对应于有效的分解。本文提供了一种利用非单调策略的力量的一般方法，通过允许一种“有纪律的”非单调形式，这种形式是警察以贪婪的方式进行游戏的特征。它表明，决定存在（非单调）贪婪的获胜策略（并计算一个，如果有的话）是易处理的。此外，尽管它们的非单调性，这样的策略总是诱导有效的分解树，这可以有效地计算基于它们。因此，贪婪的策略，使我们能够定义新的岛屿的易处理性所考虑的问题，包括所有以前已知的类的易处理的实例。
2016-07-04 cs.DB cs.LO
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries
我们表明，对于OWL 2 QL本体介导的查询（i）有界深度和有界树宽的合取查询的本体，（ii）有界深度和有界叶树形合取查询的本体，以及（iii）任意本体和有界叶树形合取查询，可以分别通过LOGCFL，NL和LOGCFL算法构建和评估非递归数据库重写，其匹配最优组合复杂度。
2016-04-18 cs.LO
Data complexity of answering conjunctive queries over SHIQ knowledge bases
给出了一个在数据复杂度为coNP的SHIQ知识库上回答合取查询的算法。该算法基于SHIQ中的个体推理的tableau算法。表的阻塞条件被削弱，以这种方式，修改后的算法产生的模型集足以检查查询蕴涵。改进的阻塞条件是基于Levy提出的阻塞条件和ALCNR中Horn规则推理的阻塞条件。
2005-07-22 cs.AI cs.CC cs.LO
Quantified Conjunctive Queries on Partially Ordered Sets
我们研究的计算问题，检查是否一个量化的合取查询（一个一阶的句子只使用连接布尔连接）是真的有限偏序集（自反，反对称，传递有向图）。我们证明了这个问题已经是NP-困难的一定的固定偏序集，并调查结构性质的偏序集产生固定参数的可处理性时，问题的参数化查询。我们的主要算法的结果是，模型检验量化的有界宽度的偏序集上的合取查询是固定参数易处理的（偏序集的宽度是一个子集的最大大小的两两不可比的元素）。我们补充我们的算法结果的复杂性结果，在自然偏序集不变量的层次结构中的有限偏序集类，在这个意义上建立其紧密性。
2014-08-19 cs.DS cs.LO
A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order Logic
Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR5800（波尔多大学）；Universidad de Buenos Aires, FCEN, DC & CONICET-UBA, ICC（布宜诺斯艾利斯大学）
本文研究了UCPDL+逻辑，其包含PDL扩展、连接查询和单目否定一阶逻辑，探讨了其表达能力、可满足性和模型检查问题。
2026-10-20 cs.DB cs.LO
Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics
Technische Universität Dresden（德累斯顿工业大学）；University of Wrocław（弗罗茨瓦夫大学）
我们提出了一个统一的方法（有限和无限制）最坏情况下的最优蕴涵（工会）的合取查询（U）CQ在广泛的类“本地向前”的描述逻辑。我们采用的主要技术是卢茨的扰流板技术，最初开发的CQ蕴涵在ALCHQ的概括。我们的研究结果填补了文献中存在的许多空白，最明显的是暗示了ALCHbregQ中包含的ALC的任何超逻辑的（U）CQ查询的ExpTime完整性，并且正如我们所相信的那样，它足够抽象，可以在许多新的场景中作为黑盒使用。
2021-08-12 cs.AI cs.LO
The Weisfeiler-Leman Dimension of Conjunctive Queries
本研究提出语义扩展宽度sew(φ)刻画任意合取查询的Weisfeiler-Leman维数，结合树宽与量化星大小，并推导出低于该宽度阶数的GNN无法计算对应查询的答案计数。
2024-03-11 cs.DB cs.DM cs.LO
The Complexity of Weighted Counting for Acyclic Conjunctive Queries
本文研究非循环合取查询解的加权计数问题（$\ACQ$）。这个问题的未加权量词自由版本已知是易于处理的（对于组合复杂性），但也知道即使引入单个量化变量也会使其成为$\sP$ -困难。我们首先表明，量化器免费$\ACQ$的加权计数仍然是易处理的，即使是最低限度的扩展问题导致硬的情况下。然后，我们引入了一个新的参数量化查询，允许隔离大岛屿的易处理性。我们表明，从参数化的复杂性的标准假设，这个参数充分表征计数加权解决方案的$\ACQ$查询听话的子类。因此，我们完全确定了$\ACQ$加权计数的易处理边界。
2011-12-07 cs.CC cs.LO math.LO
Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles
University of Oxford（牛津大学）
在具有复杂角色包含的$\mathcal{EL}$知识库（KB）上回答合取查询（CQ）是PSPACE困难的，并且在某些情况下在PSPACE中;但是，如果复杂角色包含仅限于角色传递性，那么严格的复杂性上限迄今为止尚不清楚。此外，现有的算法不能处理自反角色，他们是不实用的。最后，该问题对于非循环CQ和$\mathcal{ELH}$是易处理的，对于非限制CQ和$\mathcal{ELHO}$ KB是NP完全的。在本文中，我们完成了CQ回答几个重要的情况下的复杂性景观。特别是，我们提出了一个可行的NP算法回答CQ超过$\mathcal{ELHO}^s$ KB-一个逻辑包含所有的OWL 2 EL，但复杂的角色包含限制到角色传递性。我们的初步评估表明，该算法可以适用于实际使用。此外，我们表明，即使是一个有限的类所谓的arbohydrocyclic查询，CQ回答$\mathcal{EL}$知识库成为NP难的存在下，无论是传递或自反的角色。最后，我们表明，回答树型CQ超过$\mathcal{ELHO}$ KB是易处理的，而回答非循环CQ是NP-难的。
2015-05-13 cs.AI cs.DB cs.LO
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Technische Universität Dresden（德累斯顿工业大学）；National and Kapodistrian University of Athens（雅典国立卡波迪斯特里安大学）；Free University of Bozen-Bolzano（博尔扎诺自由大学）
模糊描述逻辑（DLs）提供了一种表示关于应用领域的模糊知识的方法。本文研究了基于有限真度链的DL $\mathcal{SROIQ}$上合取查询的模糊扩展。为了回答这样的查询，我们扩展了一个众所周知的技术，减少了模糊本体的经典之一，并使用经典的DL推理机作为一个黑盒子。我们提高了以前的减少技术的复杂性，为n-valued模糊DL，这使我们能够证明严格的复杂性结果，回答某些类型的模糊CQ。最后，我们的原型实现的实验评估，显示我们的方法的可行性。
2015-10-14 cs.AI cs.LO
Direct Access for Answers to Conjunctive Queries with Aggregation
Technion – Israel Institute of Technology（以色列理工学院）；Inria, LIRMM, University of Montpellier, CNRS（法国国家信息与自动化研究所，拉格朗日数学与计算实验室，蒙彼利埃大学，法国国家科学研究中心）
研究了带有分组和聚合的联接查询的细粒度复杂性，提出在对数线性时间内构造数据结构，实现按字典序快速访问答案，并分析了聚合函数对查询复杂性的影响。
2026-04-19 cs.DB cs.DS cs.LO
A More General Theory of Static Approximations for Conjunctive Queries
连接查询（CQ）的评价是NP完全的，但成为有界超树宽度的片段易于处理。因此，通过来自这样的片段的查询来近似硬CQ可以允许有效的近似评估。虽然欠近似（即，仅返回正确答案的近似）是很好理解的，但是过度近似（即，返回完整但不一定可靠的答案的近似）的双重概念以及基于查询结果的对称差的更一般的近似概念几乎未被探索。事实上，这些近似的评价、识别和存在性等基本问题的可判定性一直是公开的。本文建立了过度近似和存在卵石游戏之间的联系，允许系统地研究这些问题。建立在这种连接，它表明，评价和识别问题过近似可以解决在多项式时间。虽然一般存在的问题仍然是开放的，这个问题被证明是可判定的2EXPTIME类的非循环CQ和PTIME布尔CQ在二进制模式。此外，我们提出了一个更自由的概念overapproximations来弥补已知的缺点，查询可能没有overapproximations，并研究如何查询可以overapproximates在元组生成和平等生成依赖关系的存在。然后，该技术扩展到对称差分近似，并用于提供几个复杂的结果，这种类型的近似的识别，存在性和评价问题。
2019-04-01 cs.DB cs.DM cs.LO
Revisiting Conjunctive Query Entailment for $\mathcal S$
Cardiff University（卡迪夫大学）；TU Dortmund University（多特蒙德工业大学）；University of Warsaw（华沙大学）
研究$\mathcal S$中联合查询回答的复杂性，证明其为2ExpTime完全问题，并探讨不同查询限制下的复杂性变化。
2026-05-08 cs.LO
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
我们考虑以下的查询回答问题：给定一个布尔合取查询和一个理论在霍恩松散保护片段，目的是确定查询是否是由该理论所蕴涵。在本文中，我们提出了一个决议决定过程的松散保护的片段，并使用这样一个过程来回答布尔合取查询对霍恩松散保护的片段。Horn松散保护片段包含基于本体的查询应答中普遍存在的规则类，例如Horn ALCHOI和保护存在规则。此外，我们确定星查询和云查询，使用我们的程序，可以回答对松散的保护片段。
2020-01-12 cs.DB cs.LO
Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
Pontificia Universidad Católica de Chile（智利天主教 Pontificia Universidad Católica 大学）；Humboldt-Universität zu Berlin（柏林洪堡大学）
该研究提出了一种基于数据库元组结构性对称性的索引方法，用于高效评估自由连通无环联接查询。
2026-01-08 cs.DB cs.LO
The complexity of acyclic conjunctive queries revisited
本文考虑一元函数上的一阶逻辑，研究了由这类公式描述的合取查询求值问题的复杂性。一个自然的概念，这种语言的查询非循环性的介绍，我们研究了大量的变种或概括的非循环查询问题的复杂性在这种情况下（布尔或不布尔，有或没有不等式，比较等）。我们的主要结果表明，所有这些问题都是\textit{fixed-parameter linear}，即它们可以在时间$f(|Q|).|\textbf{db}|.|Q(\textbf{db})|$进行评估，其中$|Q|$是查询$Q$的大小，$|\textbf{db}|$是数据库大小，$|Q(\textbf{db})|$是输出的大小，$f$是一些函数，其值取决于查询问题的特定变体（在某些情况下，$f$是身份函数）。我们的结果有两种结果。首先，它们可以很容易地转换为关系（即，古典）设置。以前已知的一些查询问题的界限进行了改进，然后展示新的易处理的情况下。其中，作为一个直接的推论，我们改进了\~ \cite{PapadimitriouY-99}的结果表明，任何（关系）非循环的合取查询不等式可以评估的时间$f(|Q|).|\textbf{db}|.|Q(\textbf{db})|$。我们的方法的第二个后果是，它提供了一个非常自然的描述方法的复杂性，众所周知的算法问题。一些例子（如非循环子图问题，多维匹配等）被认为是其复杂性的新见解。
2006-05-02 cs.LO
Soundness and Completeness of SPARQL Query Containment Solver SpeCS
SPECS工具实现了一种高效的自动化方法来推理SPARQL查询包含问题。在本文中，我们证明了这种方法的正确性。给出了SPARQL语言核心子集的精确语义。我们简要地讨论了用于减少到一个正式的逻辑框架的查询包含问题的过程。我们证明，这种减少是健全的和完整的合取查询，也为一些重要的情况下，非合取查询包含操作工会，操作员可选，和子查询。可靠性和完整性证明被认为是在遏制和包容的形式。
2022-10-13 cs.DB cs.LO
Finite Entailment of UCRPQs over ALC Ontologies
Cardiff University（卡迪夫大学）；University of Warsaw（华沙大学）
我们研究的问题有限蕴涵本体介导的查询。我们考虑表达查询语言，联盟的合取正则路径查询（UCRPQs），扩展著名的类联盟的合取查询，正则表达式的角色。我们期待在本体制定使用描述逻辑ALC，并显示一个紧密的2EXPTIME上限蕴涵的UCRPQs。在我们的决策过程的核心，有一个新的自动机为基础的技术，引入了分层的解释所引起的确定性有限自动机的输入UCRPQ
2022-05-06 cs.AI cs.DB cs.LO
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
本文证明判断 UC2RPQ 查询是否等价于任意树宽 k 的查询是可判定的，并给出构造最大下逼近的算法，同时将方法推广到路径宽及单向 UCRPQ 情形。
2025-03-04 cs.DB cs.FL cs.LO
Any-k Algorithms for Enumerating Ranked Answers to Conjunctive Queries
提出any-k算法，通过下推排序到连接中，实现合取查询排序答案的高效枚举，复杂度为O(n+klogk)，优于传统先连接后排序方法。
2023-10-12 cs.DB cs.DS cs.LO
On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases
我们调查的规模一阶重写的合取查询OWL 2 QL本体的深度1和2的超图程序计算布尔函数。得到了肯定和否定的结果。深度为1的本体上的合取查询具有多项式大小的非递归数据重写;树形查询具有多项式正存在重写;然而，在最坏的情况下，正存在重写只能具有超多项式大小。在最坏的情况下，深度为2的本体上的查询的正存在和非递归数据库重写遭受指数爆破，而一阶重写是超多项式的，除非$\text{NP} \subseteq \text{P}/\text{poly}$。我们还分析重写任意本体的树形查询，并观察到这种查询的查询蕴涵问题是固定参数易处理的。
2014-01-22 cs.LO
Towards Universal Languages for Tractable Ontology Mediated Query Answering
Tianjin University（天津大学）；Western Sydney University（西悉尼大学）；Huazhong University of Technology and Science（华中科技大学）；University of Alberta（阿尔伯塔大学）；Nankai University（南开大学）
本体中介查询回答的本体语言（OMQA语言）是通用的OMQA语言的家庭，如果它是这个家庭中最具表现力的。在本文中，我们专注于三个家庭的听话的OMQA语言，包括一阶的OMQA语言和语言的查询回答的数据复杂度是在AC0或PTIME。在消极的一面，我们证明，有，一般来说，没有普遍的语言，为每一个这些家庭的语言。在积极的一面，我们提出了一个新的属性，地方性，近似的一阶可重写性，并表明存在一种语言的析取嵌入依赖，是普遍的OMQA语言的家庭与地方。所有这些结果适用于OMQA与查询语言，如联合查询，联合查询和非循环联合查询。
2019-12-13 cs.AI cs.DB cs.LO
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)
本文讨论描述逻辑$\dlssx$（简称$\shdlssx$）的合取查询查询（CQA）问题，该描述逻辑用具体角色上的布尔运算和概念的乘积扩展了逻辑$\dlss$.结果是通过形式化$\shdlssx$ -知识库和$\shdlssx$ -合取查询的公式的四级集理论片段$\flqsr$，它允许一个限制形式的量化的变量的前三个级别和对条款。我们解决了CQA问题的$\shdlssx$通过决策过程的可满足性问题的$\flqsr$。我们进一步定义了一个\ke \space为基础的程序，同样的问题，更适合于实现的目的，并分析其计算复杂性。
2016-06-23 cs.LO
Rewriting with Acyclic Queries: Mind Your Head
本文研究合取查询在无环等受限条件下的重写问题，证明了查询本身无环时存在无环重写，并界定了该问题在 NP-hard 与易处理之间的复杂度边界。
2023-11-28 cs.DB cs.LO
Answering Queries with Negation over Existential Rules
基于本体的查询回答存在的规则是很好地理解和实施的肯定查询，特别是合取查询。对于带否定的查询，情况发生了巨大的变化，因为没有商定的语义或标准实现。分层，如用于数据库，是不够的存在规则，因为后者仍然承认多个通用模型，可以不同的否定查询。因此，我们提出了一个有意义的（非单调）的语义查询否定的基础上，通用的核心模型。由于核心很难计算，我们确定的查询，可以等价地回答其他类型的模型的语法描述。这会导致带有否定的查询片段，可以由当前的Chase实现安全地评估。我们建立了新的技术来估计核心模型与其他通用模型的不同之处，并将我们的研究结果纳入一种新的否定存在规则的推理方法。
2021-12-21 cs.DB cs.LO
Homomorphism Problems in Graph Databases and Automatic Structures
Université de Bordeaux（波尔多大学）
本论文研究图数据库与自动结构中的同态问题，证明查询最小化可判定并提供高效算法，揭示自动结构同态问题的可判定性二分法，并基于代数语言理论解决逻辑可描述性问题。
2025-10-08 cs.DB cs.FL cs.LO
