Conjunctive Queries: Unique Characterizations and Exact Learnability
Universiteit van Amsterdam（阿姆斯特丹大学）；Universitat Pompeu Fabra（庞培法布拉大学）
我们回答的问题，合取查询是唯一的特点，多项式的许多积极和消极的例子，以及如何构造这样的例子有效。因此，我们得到了一个新的有效的精确学习算法的一类合取查询。在我们的贡献的核心在于两个新的多项式时间算法构建有限结构的同态格的边界。我们还讨论了模式映射和描述逻辑概念的独特特征和可学习性的影响。
2022-08-24 cs.AI cs.DB cs.LO
On the entailment problem for DL-Lite$_{core}$ ontologies and conjunctive queries with negation
University of Wrocław（弗罗茨瓦夫大学）
本文证明了对于 DL-Lite$_{core}$ 本体，带不等式或安全否定的合取查询的蕴含问题均不可判定。
2025-11-03 cs.LO
Conjunctive Queries with Negation and Aggregation: A Linear Time Characterization
该研究刻画了带否定合取查询的线性时间求值复杂度，提出对应常数延迟枚举算法，扩展到带否定的函数聚合查询后分析了逆阿克曼函数的影响，并给出合取查询差运算的应用。
2023-10-09 cs.DB cs.LO
Conjunctive Queries over Trees
我们研究的复杂性和表达能力的合取查询无排名的标记树表示使用各种结构关系，如“孩子”，“后代”，“以下”以及一元关系的节点标签。我们建立了一个框架，用于表征表示树的结构，可以有效地评估合取查询。然后，我们完全绘制了问题的易处理边界，并为我们的轴关系建立了一个二分法定理，即，我们发现所有的子集最大集的轴查询评估是在多项式时间，并表明，对于所有其他情况下，查询评估是NP-完全的。所有的多项式时间的结果，立即获得使用我们的框架的证明技术。最后，我们研究了树上的合取查询的表达性，并证明了对于每个合取查询，存在一个等价的非循环正查询（即，一组非循环合取查询），但是通常该查询不是多项式大小的。
2006-02-02 cs.AI cs.CC cs.DB
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
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
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
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
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
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
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
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
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
Enumeration and updates for conjunctive linear algebra queries through expressibility
UHasselt（哈瑟尔特大学）；PUC Chile（智利天主教 Pontificia 大学）
本文通过可表达性研究线性代数程序与联合一阶逻辑片段的关系，确定其在预处理后可实现常数延迟枚举和常数时间更新的特性。
2025-12-30 cs.CC cs.DB cs.DS
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
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
Dynamic Conjunctive Queries
在Patnaik和Immerman的动态复杂性框架下，研究了由合取查询（Conjunctive Queries，CQ）支持的查询类及其扩展和限制。从正原子的无量词连词的基本语言出发，研究了附加算子和特征（如并、原子否定和量化）对标准语义和Delta语义的动态表达能力的影响。尽管这些特征的许多不同组合是可能的，但它们基本上产生了标准语义学的五个重要片段，其特征在于添加了（1）任意量化和原子否定，（2）存在量化和原子否定，（3）存在量化，（4）原子否定（但没有量化），以及（5）根本没有添加到基本语言中。虽然片段（3）、（4）和（5）可以分开，但片段（1）、（2）和（3）是否实际上不同仍然是未知的。从Delta语义产生的片段也被标准片段（1）、（2）和（4）所包含。在以前的工作中研究过的DynFO的主要片段，DynQF和DynProp，其特征在于分别具有或不具有辅助函数的无量词更新程序，也适合这个层次结构：DynProp与片段（4）一致，DynQF严格位于片段（4）之上和片段（3）之内。作为进一步的结果，所有（静态）FO-可定义的查询被片段（2）捕获，并给出了这些查询的完整特征的非递归动态程序与存在更新公式与一个存在量词。
2017-04-05 cs.DB cs.LO
Quantified Conjunctive Queries on Partially Ordered Sets
我们研究的计算问题，检查是否一个量化的合取查询（一个一阶的句子只使用连接布尔连接）是真的有限偏序集（自反，反对称，传递有向图）。我们证明了这个问题已经是NP-困难的一定的固定偏序集，并调查结构性质的偏序集产生固定参数的可处理性时，问题的参数化查询。我们的主要算法的结果是，模型检验量化的有界宽度的偏序集上的合取查询是固定参数易处理的（偏序集的宽度是一个子集的最大大小的两两不可比的元素）。我们补充我们的算法结果的复杂性结果，在自然偏序集不变量的层次结构中的有限偏序集类，在这个意义上建立其紧密性。
2014-08-19 cs.DS 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
Graphical Conjunctive Queries
合取运算（CCQ）在数据库理论中具有基础性地位。Chandra和Merlin的一个著名定理指出CCQ查询包含是可判定的。它的证明将逻辑公式转换为图：每个查询都有一个自然模型-一种图-并且查询包含减少到自然模型之间的图同态的存在。我们介绍了图形语言图形连接符（GCQ），并表明它具有相同的表达CCQ。GCQ术语是字符串图，它们的代数结构允许我们推导出一个健全的和完整的公理化的查询包含，这原来正是Carboni和Walters的概念的carbonitebicategory的关系。我们的完备性证明利用了超图（的某些cospans）的弦图的组合性质：钱德拉和梅林的见解启发了一个定理，将这种cospans与跨度联系起来。GCQ的（非）方程理论的完备性和可判定性作为推论遵循。范畴地说，我们的贡献是一个模型理论的完备性定理的自由carbonatebicategories（关系签名）的类别的集合和关系。
2018-04-20 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
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
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
The Weisfeiler-Leman Dimension of Conjunctive Queries
本研究提出语义扩展宽度sew(φ)刻画任意合取查询的Weisfeiler-Leman维数，结合树宽与量化星大小，并推导出低于该宽度阶数的GNN无法计算对应查询的答案计数。
2024-03-11 cs.DB cs.DM cs.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
Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries and Constraint Satisfaction Problems
已经开发了结构分解方法，用于识别数据库中基本问题的实例的易处理类别，例如人工智能中的约束满足问题的合取查询和查询包含，或者更一般地关系结构上的同态问题。大多数结构分解方法可以通过超图游戏来表征，超图游戏是Robber和Cops图游戏的变体，其特征在于树宽的概念。特别地，分解树在某种程度上对应于单调获胜策略，其中超图上的强盗的逃跑空间被警察单调缩小。事实上，与树宽的情况不同，超图中不存在单调策略，而强盗可以通过更复杂的非单调策略来捕获。然而，这些强大的策略一般不对应于有效的分解。本文提供了一种利用非单调策略的力量的一般方法，通过允许一种“有纪律的”非单调形式，这种形式是警察以贪婪的方式进行游戏的特征。它表明，决定存在（非单调）贪婪的获胜策略（并计算一个，如果有的话）是易处理的。此外，尽管它们的非单调性，这样的策略总是诱导有效的分解树，这可以有效地计算基于它们。因此，贪婪的策略，使我们能够定义新的岛屿的易处理性所考虑的问题，包括所有以前已知的类的易处理的实例。
2016-07-04 cs.DB 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
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
Revisiting Conjunctive Query Entailment for $\mathcal S$
Cardiff University（卡迪夫大学）；TU Dortmund University（多特蒙德工业大学）；University of Warsaw（华沙大学）
研究$\mathcal S$中联合查询回答的复杂性，证明其为2ExpTime完全问题，并探讨不同查询限制下的复杂性变化。
2026-05-08 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
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
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-04 cs.DB cs.DM cs.FL
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
Ontological Queries: Rewriting and Optimization (Extended Version)
本体查询是针对本体而不是直接在数据库上进行评估的。这种查询的评价和优化是数据库研究的一个有趣的新问题。在本文中，我们讨论这个问题的两个重要方面：查询重写和查询优化。查询重写包括将本体查询编译为针对底层关系数据库的等效查询。这里的重点是健全性和完整性。我们回顾以前的结果，并提出了一个新的重写算法，而一般类型的本体约束。特别是，我们展示了如何对本体的合取查询可以编译成一个联盟的合取查询对底层数据库。在这种情况下，本体查询优化试图改进该过程，以便为输入查询产生可能小且成本有效的UCQ重写。我们回顾现有的优化方法，并提出了一种有效的新方法，适用于线性Datalog+/-，一类基于数据的规则，包括著名的描述逻辑的DL-Lite家庭。
2011-12-01 cs.DB cs.LO
Soundness and Completeness of SPARQL Query Containment Solver SpeCS
SPECS工具实现了一种高效的自动化方法来推理SPARQL查询包含问题。在本文中，我们证明了这种方法的正确性。给出了SPARQL语言核心子集的精确语义。我们简要地讨论了用于减少到一个正式的逻辑框架的查询包含问题的过程。我们证明，这种减少是健全的和完整的合取查询，也为一些重要的情况下，非合取查询包含操作工会，操作员可选，和子查询。可靠性和完整性证明被认为是在遏制和包容的形式。
2022-10-13 cs.DB cs.LO
Homomorphism Problems in Graph Databases and Automatic Structures
Université de Bordeaux（波尔多大学）
本论文研究图数据库与自动结构中的同态问题，证明查询最小化可判定并提供高效算法，揭示自动结构同态问题的可判定性二分法，并基于代数语言理论解决逻辑可描述性问题。
2025-10-08 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
Charting the Tractability Frontier of Certain Conjunctive Query Answering
不确定数据库定义为不需要满足主键的关系数据库。这样的数据库的修复（或可能世界）通过选择最大数量的元组而不选择具有相同主键码值的两个不同元组来获得。对于布尔查询q，决策问题CERTAINTY（q）将不确定数据库db作为输入，并询问db的每次修复是否满足q。我们的主要重点是非循环布尔合取查询没有自我加入。以前的工作已经引入了这种查询的（有向）攻击图的概念，并证明了CERTAINTY（q）是一阶可表达的当且仅当q的攻击图是非循环的。本文研究了确定性（q）的易处理性和难处理性之间的界限。我们首先将攻击图中的循环分类为弱或强，然后证明以下内容。如果一个查询q的攻击图包含一个强循环，则CERTAINTY（q）是coNP完全的。如果q的攻击图不包含强圈且其每个弱圈都是终端的（即，没有边从圈中的顶点通向圈外的顶点），则CERTAINTY（q）在P中。然后我们部分地解决唯一剩余的开放情况，即，当攻击图中存在非终结环且不存在强环时，最后，我们在概率数据库上建立了CERTAINTY（q）的复杂性和评估q之间的关系。
2013-01-06 cs.DB 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
The Importance of Parameters in Database Queries
本文提出基于SHAP分数的框架量化数据库查询中参数值选择对结果的重要性，设计了多项式时间算法计算无环合取查询的SHAP分数，并扩展至参数化过滤器与“为什么没有”解释应用。
2024-11-14 cs.DB 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
Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints
Chase算法是在约束下进行查询评估和查询包含的基本工具，其中约束是元组生成依赖（TGD）和等式生成依赖（EGD）（的子类）。到目前为止，关于这一主题的大多数研究都集中在追逐程序终止的情况下，有一些值得注意的例外。在本文中，我们采取了一般的方法，我们提出了大类的TGD下，追逐并不总是终止。我们的语言，特别是，受到守卫逻辑的启发：我们表明，通过强制执行的TGD的形式上的语法属性，我们能够确保可判定性的问题，回答连接查询，尽管非终止追逐。我们提供了严格的复杂性界限的问题的合取查询评价几类TGD。然后，我们介绍EGDs，并提供了一个条件下，EGDs不与TGD相互作用，因此不参加查询应答。我们展示了我们的约束类的应用程序的问题，回答合取查询下的F-逻辑建兴，最近推出的本体语言，并根据突出的易处理的描述逻辑语言。本文的所有结果立即扩展到合取查询包含问题。
2013-11-17 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
Uniform Reliability for Unbounded Homomorphism-Closed Graph Queries
我们研究了一致查询可靠性问题，即对于一个固定的布尔查询Q，给定一个实例I，有多少个子实例I满足Q。等价地，这是在元组独立的概率数据库上的布尔查询评估的受限情况，其中所有事实必须具有概率1/2。我们专注于图形签名，并在同态下关闭查询。我们表明，对于任何这样的查询是无界的，即，不等价于合取查询的并集，一致可靠性问题是#P-hard的。这重新获得了硬度，例如，的s-t连通性，它计数有多少输入图的子图具有源和汇之间的路径。这个新的统一可靠性的硬度结果加强了我们早期的硬度结果的概率查询评估无界同态封闭查询（ICDT'20）。事实上，我们之前的证明关键地使用了概率为1的事实，所以它不适用于未加权的情况。本文提出的新证明避免了这一点，它使用我们最近的硬度结果一致的可靠性非层次的合取查询没有自连接（ICDT'21），以及新的技术。
2023-01-17 cs.CC cs.DB cs.DM
Temporal Conjunctive Query Answering in the Extended DL-Lite Family
基于本体的查询应答（OBQA）通过将领域知识编码在本体中来增强数据库中的经典查询应答。OBQA系统使用本体知识来推断数据中未明确给出的新信息。此外，他们通常采用开放世界假设，这意味着数据中没有明确说明的知识以及没有推断的知识不会被假设为真或假。然而，经典的OBQA只考虑数据的快照，这意味着关于数据的时间演化的信息不用于推理，因此丢失了。我们调查时间合取查询（TCQs），允许通过经典本体访问时态数据。特别是，我们研究了结合和数据复杂性的TCQ蕴涵的本体描述逻辑从扩展的DL-Lite家庭。这些逻辑中的许多允许有效的推理在非时态设置，并成功地应用于实践。我们展示了这些逻辑的时间推理的综合复杂性结果。
2020-03-20 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
Obtaining Information about Queries behind Views and Dependencies
我们认为，发现和确定某些查询答案和确定查询之间的包容性的问题，每个问题的制定存在的物化视图和依赖关系下的封闭世界的假设。我们在这种情况下的问题之间的紧密关系。此外，我们引入算法来解决每个问题的输入，所有的查询和意见是合取的，并嵌入弱非循环的依赖。我们还确定了每个问题的复杂性下的安全相关的复杂性措施介绍了张和Mendelzon在2005年。本文研究的问题是基本的，在确保正确规范的数据库访问控制策略，特别是在细粒度的访问控制的情况下。我们的方法也可以应用在推理控制，安全数据发布和数据库审计等领域。
2014-03-20 cs.DB cs.LO
On monotonic determinacy and rewritability for recursive queries and views
如果Q可以表示为视图图像的单调函数，则在一组视图上单调地确定查询Q。在关系代数视图和查询的情况下，单调确定性与作为合取查询的并集的可重写性相一致，并且在重要的特殊情况下是可判定的，例如对于CQ视图和查询。我们调查的情况下，在递归查询语言数据库的视图和查询。我们给出了关于确定单调确定性的能力的肯定和否定的结果，以及关于单调确定性与数据记录可重写性的重合性的结果。
2020-03-12 cs.LO
