The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space Complexity
我们从参数化复杂性的角度对合取查询计算的复杂性进行了一个基本的研究。我们根据问题的复杂性对布尔合取查询集进行分类。以前的工作表明，一组合取查询是固定参数易处理的，正是当一组等价于一组查询有界树宽。我们提出了一个很好的分类查询集参数化对数空间减少。我们表明，在有界树宽制度，有三个复杂度，并确定查询集的程度有界的路径宽度和有界树深度的属性。我们还通过对数空间机器刻画和完备问题研究了两个更高的度。我们的工作产生了一个显着丰富的角度对合取查询的复杂性，并在同一时间，提出了新的途径，参数化的复杂性的研究。
2013-06-25 cs.CC cs.DB cs.LO
The Dichotomy of Conjunctive Queries on Probabilistic Structures
我们表明，对于每一个合取查询，评估它的概率数据库的复杂性是\PTIME或#¶-完成，我们给出了一个算法，用于决定是否一个给定的合取查询是\PTIME或#¶-完成。二分法是概率数据库查询评价的一个基本结果，它给出了合取查询复杂性的一个完整分类。
2007-01-13 cs.DB
Conjunctive Queries: Unique Characterizations and Exact Learnability
Universiteit van Amsterdam（阿姆斯特丹大学）；Universitat Pompeu Fabra（庞培法布拉大学）
我们回答的问题，合取查询是唯一的特点，多项式的许多积极和消极的例子，以及如何构造这样的例子有效。因此，我们得到了一个新的有效的精确学习算法的一类合取查询。在我们的贡献的核心在于两个新的多项式时间算法构建有限结构的同态格的边界。我们还讨论了模式映射和描述逻辑概念的独特特征和可学习性的影响。
2022-08-24 cs.AI cs.DB cs.LO
A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries
当查询关系数据库时，结果通常是一个关系。然而，有些查询只需要一个是/否的答案;这样的查询通常被称为布尔查询。在数据库理论中，通常通过测试查询表达式的非空性来表示布尔查询。另一种表示布尔查询的有趣方式是$Q_1 \subseteq Q_2$形式的包含语句，其中$Q_1$和$Q_2$是查询表达式。这里，对于任何输入实例$I$，如果$Q_1(I)$是$Q_2(I)$的子集，则布尔查询结果是$\mathit{true}$，否则是$\mathit{false}$。在本论文中，我们将集中在非空性和包含语句的合取查询。主要目标是研究连接查询包含的单调片段。特别是，我们展示了这个单调片段的保存一样的结果。也就是说，我们表明，在表达能力，单调包含的合取查询是完全等于合取查询下nonempty。
2019-03-01 cs.DB
Conjunctive Queries with Negation and Aggregation: A Linear Time Characterization
该研究刻画了带否定合取查询的线性时间求值复杂度，提出对应常数延迟枚举算法，扩展到带否定的函数聚合查询后分析了逆阿克曼函数的影响，并给出合取查询差运算的应用。
2023-10-09 cs.DB cs.LO
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
本文提出投影连接树宽作为半环聚合分组连接查询可处理性的统一度量，统一解释计数、枚举与聚合求值的可处理性结果，并证明其分解可由经典树分解算法得到。
2025-07-18 cs.DB
Conjunctive Queries over Trees
我们研究的复杂性和表达能力的合取查询无排名的标记树表示使用各种结构关系，如“孩子”，“后代”，“以下”以及一元关系的节点标签。我们建立了一个框架，用于表征表示树的结构，可以有效地评估合取查询。然后，我们完全绘制了问题的易处理边界，并为我们的轴关系建立了一个二分法定理，即，我们发现所有的子集最大集的轴查询评估是在多项式时间，并表明，对于所有其他情况下，查询评估是NP-完全的。所有的多项式时间的结果，立即获得使用我们的框架的证明技术。最后，我们研究了树上的合取查询的表达性，并证明了对于每个合取查询，存在一个等价的非循环正查询（即，一组非循环合取查询），但是通常该查询不是多项式大小的。
2006-02-02 cs.AI cs.CC cs.DB
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
University of Liverpool（利物浦大学）
我们认为本体介导的查询（OMQs）的表达描述逻辑的ALC家庭和（工会）的合取查询的基础上，研究重写成OMQs的实例查询（IQs）的基础上。我们的研究结果包括精确的刻画时，这样的重写是可能的和严格的复杂性界限决定可重写性。我们还给出了一个紧密的复杂性界的相关问题，决定是否一个给定的MMSNP句子是等价的CSP。
2020-10-22 cs.AI cs.DB
Direct Access for Conjunctive Queries with Negations
Université d’Artois（阿图瓦大学）；Université de Lille（里尔大学）
本文研究了带有否定原子的联合查询的直接访问问题，通过电路类表示关系数据，证明了大规模联合查询的可处理性，统一了正负联合查询的可处理结果。
2026-03-10 cs.DB
A Nearly Instance-optimal Differentially Private Mechanism for Conjunctive Queries
在差分隐私（DP）下释放合取查询和图模式查询的结果大小在文献中受到相当大的关注，但现有的解决方案不提供任何最优性保证。我们为这个问题提供了第一个DP机制，它具有相当强的最优性概念，可以被认为是实例最优性到常数的自然放松。
2021-12-27 cs.CR cs.DB
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
CNRS（法国国家科学研究中心）；Inria（法国国家信息与自动化研究所）；University of Bremen（不来梅大学）；University of Liverpool（利物浦大学）
我们研究FO-可重写的合取查询中存在的本体制定EL和霍恩-SHIF之间的描述逻辑，以及相关的查询包含问题。除了提供表征，我们建立复杂性的结果，从ExpTime通过NExpTime到2 ExpTime，指出了几个有趣的效果。特别是，FO重写是更复杂的合取查询比原子查询时，逆角色，但不是否则。
2020-11-19 cs.AI cs.DB
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation
单轮多路连接算法首先在许多服务器上重新洗牌数据，然后以并行和无通信的方式评估手头的查询。一个关键的问题是，一个给定的分配策略的洗牌是足够的计算一个给定的查询，也被称为并行正确性。本文扩展了并行正确性及其组成部分，并行可靠性和并行完整性的复杂性的研究，工会的合取查询和不否定。作为一个副产品，它示出的合取查询与否定的包含问题是coNEXPTIME完全的。
2015-12-19 cs.DB
Corrigendum to "Counting Database Repairs that Satisfy Conjunctive Queries with Self-Joins"
[Maslowski and Wijsen，ICDT，2014]中的辅助引理7是错误的。该引理用于（且仅用于）同一篇论文的定理3的证明。在本勘误中，我们对后一个定理提供了一个新的证明。
2019-03-29 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
Cross-Model Conjunctive Queries over Relation and Tree-structured Data (Extended)
连接查询是数据库查询中最基本、最核心的一类查询。随着管理和处理海量不同类型数据需求的不断增长，对关系数据和树数据之间的合取查询的研究还很少。在本文中，我们研究了跨模型连接查询（CMCQs）的关系和树结构的数据（XML和JSON）。为了有效地处理具有有界中间结果的CMCQ，我们首先用位置信息对树节点进行编码。利用树节点的原始标签值和编码后的位置值，该算法可以同时连接关系和树数据，避免了大量的中间结果。CMJoin在标签值和编码位置值的总结果方面实现了最坏情况下的最优性。实验结果表明，所提出的技术的效率和可扩展性，以回答一个CMCQ的运行时间和中间结果的大小。
2022-06-09 cs.DB
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
Parallel-Correctness and Transferability for Conjunctive Queries
在现代大规模分布式系统中，查询评估的主要成本是通信轮数。出于这个原因，人们对单轮多路连接算法越来越感兴趣，其中数据首先在许多服务器上重新洗牌，然后以并行但无通信的方式进行评估。重新洗牌本身被指定为分配策略。我们引入了一个正确性条件，称为并行正确性，评估查询w.r.t.分配政策。我们研究了合取查询的并行正确性的复杂性以及查询之间的并行正确性的可转移性。我们还调查了某些家庭的分配政策，包括，例如，超立方体分布的可转移性的复杂性。
2015-01-05 cs.DB
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
Acyclic Conjunctive Regular Path Queries are no Harder than Corresponding Conjunctive Queries
RelationalAI（关系人工智能）；University of Zurich（苏黎世大学）；OTH Regensburg（雷根斯堡应用科技大学）；University of Washington（华盛顿大学）
本文提出了一种输出敏感算法，用于评估无环联合正则路径查询（CRPQ），其复杂度与输入大小、输出大小及查询的'free-connex分数超树宽度'有关。该算法改进了现有无环CRPQ的输出敏感算法，并表明无环CRPQ的复杂度与相应联合查询（CQ）相同。
2026-03-14 cs.DB
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation
估计基数（即，答案的数量）在RDF系统中是特别困难的：对RDF数据的查询是可导航的，因此往往涉及许多连接。我们提出了一个新的，原则性的基数估计技术的基础上图的总结。我们解释一个RDF图的摘要使用可能的世界语义和形式化的估计问题，计算预期的基数在所有RDF图表示的摘要，我们提出了一个封闭形式的公式计算的期望任意查询。我们还讨论了RDF图摘要的方法。最后，我们的经验表明，我们的基数技术是更准确，更一致的，往往由数量级，比最先进的。
2018-02-16 cs.DB
Tractability Beyond $β$-Acyclicity for Conjunctive Queries with Negation
许多基本的数据库和推理问题被认为是NP-困难的，但在基本超图结构是$β$ -非循环的情况下是容易处理的。尽管许多这些问题的重要性，一直没有成功地推广这些结果超越非周期性。在本文中，我们接受这个挑战，并提出了巢集宽度，一个新的推广超图$β$ -无环性。我们证明了巢集宽度具有理想的性能和算法的意义。特别是，评估布尔合取查询与否定是听话的类有界嵌套集宽度。此外，命题的可满足性是固定参数听话时，套集宽度参数。
2021-06-16 cs.DB
Consistent Query Answering for Primary Keys and Conjunctive Queries with Counting
本文研究带计数的一致性查询应答，定义新语法类C_parsimony，证明其恰好包含所有允许简约计数的无自连接合取查询，否定了C_forest的完备性。
2024-02-09 cs.DB
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
Determinacy of Real Conjunctive Queries. The Boolean Case
Chaudhuri和Vardi在他们1993年的经典论文[CV93]中注意到，当我们试图将查询答案视为元组的包（多集）而不是元组的集合时，一些基本的数据库理论结果和技术无法生存。但令人遗憾的是，在[CV93]近30年后，基于包语义的数据库理论仍处于起步阶段。我们甚至不知道合取查询包含是否是可判定的。这并不是因为缺乏兴趣，而是因为，在多集的世界里，一切都突然变得令人沮丧地复杂。在本文中，我们试图重新审视，在袋语义的情况下，查询的确定性问题，这是最近集中研究的集合语义的情况下。我们表明，查询确定性（袋语义下）是可判定的布尔合取查询和undecidable工会这样的查询（在相反的集合语义的情况下，UCQ的情况下仍然是可判定的，即使是一元查询）。我们还表明，令人惊讶的是，在袋语义下的路径查询确定性与确定性集语义一致（因此，它是可判定的）。
2021-12-23 cs.DB
The Complexity of Conjunctive Queries with Degree 2
我们研究了连接查询回答对无界元查询的易处理性。众所周知，问题的易处理性可以在有界arity的假设下以查询树宽为特征。我们将这一结果推广到无界元数但度为2的情况。为此，我们引入超图稀释作为一种替代方法，以研究超图的子结构的原始图未成年人。使用稀释，我们观察到一个类似的排除网格定理度2超图。因此，我们表明，听话的合取查询回答的特点是广义超树宽度。一个类似的表征也显示了相应的计数问题。我们还概括了我们的主要结构的结果，任意有界度和讨论可能的路径对有界度的情况下的特征。
2022-06-11 cs.CC cs.DB
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
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
Space-Time Tradeoffs for Spatial Conjunctive Queries
本文针对空间合取查询，建立回答时间与空间使用的权衡下界，并构建最优索引，支持范围空性、范围计数和最近邻查询，可提升关系算法性能。
2025-09-12 cs.DB
cuRPQ: A High-Performance GPU-Based Framework for Processing Regular and Conjunctive Regular Path Queries
Korea Advanced Institute of Science and Technology（韩国科学技术院）
cuRPQ是一种基于GPU的高性能框架，通过创新算法和管理策略高效处理规则路径查询和联合规则路径查询，显著提升性能并避免内存错误。
2026-02-24 cs.DB
Linear Programs with Conjunctive Database Queries
本文提出语言 LP(CQ) 以刻画变量为合取查询答案的线性规划，并利用小宽度广义超树分解减少变量数量，在保持最优值的同时实现高效求解，展示了其在资源配送、差分隐私和图模式挖掘中的应用。
2024-01-25 cs.DB
Responsibility Measures for Conjunctive Queries with Negation
Univ. Bordeaux, CNRS, Bordeaux INP（波尔多大学、法国国家科学研究中心、波尔多理工学院）
本文研究了如何为带有否定原子的联合 conjunctive 查询定义责任度量，提出两种方法并扩展了已有的单调查询度量。
2026-03-27 cs.DB
Space-Time Tradeoffs for Conjunctive Queries with Access Patterns
针对带访问模式的合取查询时空权衡缺乏通用框架的问题，提出基于PANDA算法与树分解的通用框架，涵盖现有最优方案且在可达性查询上实现性能提升。
2023-05-02 cs.DB
Conjunctive Queries With Self-Joins, Towards a Fine-Grained Complexity Analysis
尽管查询评估是数据库中的一项基本任务，但根据其细粒度复杂性对合取查询进行的已知分类仅适用于没有自连接的查询。我们研究了自连接如何影响枚举的复杂性，其目的是建立在已知的结果，以实现一般的分类。我们这样做，通过检查两个已知的二分法的扩展：一个相对于线性延迟，一个相对于线性预处理后的恒定延迟。由于这是一个复杂的调查，本文的结构作为一个例子驱动的讨论，启动这一分析。我们展示了依赖于自连接的枚举算法，以有效地评估查询，否则无法回答相同的保证。由于这些额外的易处理的情况下，硬度证明是更复杂的自连接的情况下。我们将展示如何利用一个已知的标记技术来证明硬度的查询与自连接。我们的研究提供了易处理的充分条件和必要条件，并解决了低元查询和循环核查询的情况。然而，许多案件仍然悬而未决。
2022-12-09 cs.DB
Boolean Tensor Decomposition for Conjunctive Queries with Negation
我们提出了一个算法，回答与否定的连接查询，其中否定关系有界度。它的数据复杂性匹配的最知名的算法的积极的子查询的输入查询，并表示在分数超树宽度和子模块宽度。查询的复杂性取决于否定子查询的结构;一般来说，它在否定关系中出现的连接变量的数量上是指数级的，但对于几类查询，它会变成多项式。该算法依赖于几个贡献。我们将展示如何重写查询否定的有界度关系到等价的合取查询与不全相等（NAE）的谓词，这是一个多维的模拟不平等（不平等）。然后，我们将已知的颜色编码技术推广到NAE谓词的连词，并通过NAE谓词的连词的布尔张量分解来解释它。这种分解可以通过一个可以有效去随机化的概率构造来实现。
2019-01-28 cs.DB cs.DM math.CO
Tractable Conjunctive Queries over Static and Dynamic Relations
本文研究静态与动态关系上的合取查询求值，刻画三类可处理查询，强调静态与动态关系交互对可处理性的关键作用。
2025-03-27 cs.DB
Entropy bounds for conjunctive queries with functional dependencies
我们研究的问题，找到最坏情况下的结果$Q(\mathbb{ D})$的大小范围的一个固定的合取查询$Q$应用到一个数据库$\mathbb{ D}$满足给定的功能依赖。我们提供了一个精确的表征，这方面的熵向量，并在有限群。特别是，我们证明了Gottlob，Lee，Valiant和Valiant提供的上界是紧的，回答了他们论文中的一个问题。我们的结果推广了由于Atserias，Grohe和Marx，谁考虑的情况下没有功能依赖的界限。我们的结果表明，在一般情况下，计算最坏情况的大小界的问题，是密切相关的困难问题，从信息论。
2015-12-06 cs.DB
Partition Constraints for Conjunctive Queries: Bounds and Worst-Case Optimal Joins
本文提出分区约束这一新统计信息，通过将关系划分为具有更紧度约束的子关系来捕捉潜在结构，从而改进合取查询的基数界限和最坏情况最优连接算法。
2025-01-10 cs.DB
The Complexity of Boolean Conjunctive Queries with Intersection Joins
区间数据上的相交连接在空间和时间数据设置中是相关的。如果一组区间的交集非空，则将它们连接起来。如果是点间隔，则相交连接将成为标准相等连接。我们建立了复杂的布尔合取查询与相交连接的多一等价的析取布尔合取查询与相等连接。任何具有交集连接的查询的复杂性都是我们的等价所展示的析取中具有相等连接的最难查询的复杂性。这是由一个新的宽度测量称为IJ-width捕获的。我们还引入了一个新的语法概念，称为iota-acyclicity的布尔查询类的交叉连接，承认线性时间计算模的多对数因子的数据大小。Iota-acyclicity用于交集连接，而alpha-acyclicity用于相等连接。它严格地位于γ-无环性和Berge-acyclicity之间。非iota非循环的交集连接查询至少与具有相等连接的布尔三角形查询一样困难，后者被广泛认为在线性时间内不可计算。
2022-04-14 cs.DB cs.DS
A Trichotomy in the Data Complexity of Certain Query Answering for Conjunctive Queries
如果可能违反主键码约束，则称关系数据库是不确定的。不确定数据库的修复（或可能世界）是通过选择最大数量的元组而无需选择具有相同主键码值的两个不同元组来获得的。对于任何布尔查询q，CERTAINTY（q）是在输入上接受不确定的数据库db的问题，并询问q是否在db的每次修复中为真。这个问题的复杂性已经特别研究了q范围内的自连接自由布尔合取查询类。研究的一个挑战是确定，给定q，CERTAINTY（q）是否属于复杂性类FO，P或coNP-完全。在本文中，我们结合现有的技术研究上述复杂性分类任务。我们表明，对于任何self-join-free布尔合取查询q，它可以决定是否CERTAINTY（q）是在FO。进一步地，对于任何自连接自由的布尔合取查询q，CERATAINTY（q）要么在P中要么是coNP完全的，并且复杂性二分法是有效的。这解决了一个自[9]以来已经开放了十年的研究问题。
2015-01-30 cs.DB
New Results for the Complexity of Resilience for Binary Conjunctive Queries with Self-Joins
布尔查询的弹性是为了使查询为假而需要从输入表中删除的元组的最小数量。这个问题的解决方案立即转化为一个解决方案，更广泛地了解删除传播与源端的影响。在本文中，我们给出了几个新的结果的硬度的弹性问题的$\textit{binary conjunctive queries with self-joins}$（即与关系的最大arity 2的合取查询）与一个重复的关系。与自连接自由情况不同，三元组的概念不足以完全表征弹性的复杂性。我们确定了新的结构特性，即链，汇合和排列，导致各种$NP$硬度的结果。我们也给了新的涉及约简网络流，以显示某些情况下是在$P$。总的来说，当一个关系最多重复2次时，我们给出了限制设置的二分法结果，并且我们涵盖了3的许多情况。虽然受到限制，我们的研究结果提供了重要的见解的问题，我们希望可以帮助解决一般情况下，所有的合取查询与自连接在未来的自连接。
2020-06-15 cs.CC cs.DB
Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems
合取问题和约束满足问题的求解是计算机科学中最基本的任务之一。它们是经典的NP完全问题。因此，寻找这些问题的易处理的片段在过去的几十年里受到了大量的研究兴趣。这项研究传统上沿着三条正交的线索进行。a）将查询重构为更简单、等价的查询（语义优化）b）基于查询的结构属性来界定答案大小c）以全局一致性遵循局部一致性的方式分解查询。连接这两个线程的各种工作已经取得了很大的进展。有界的答案大小和分解已经被证明是紧密相连的，通过分数超树宽度的重要概念，最近，子模宽度。最近的论文由Zió等人研究在语义优化下的分解直到广义超树宽度。在这项工作中，我们通过引入语义宽度的一般概念并研究分数超树宽度，自适应宽度，子模块宽度和分数覆盖数的语义版本来连接所有这三个线程。
2018-12-13 cs.DB
Counting Answers to Existential Positive Queries: A Complexity Classification
势正公式形成一阶逻辑的片段，其包括并在语义上等价于合取查询的并集，合取查询是数据库理论中最重要和研究最充分的查询类别之一。我们考虑了有限结构上存在正公式的答案数计算的复杂性，并在有界元的条件下给出了查询类的一个截集定理。这个定理推广和统一了关于合取查询和合取查询并的复杂性的几个已知结果。
2016-04-20 cs.CC cs.DB
The Weisfeiler-Leman Dimension of Conjunctive Queries
本研究提出语义扩展宽度sew(φ)刻画任意合取查询的Weisfeiler-Leman维数，结合树宽与量化星大小，并推导出低于该宽度阶数的GNN无法计算对应查询的答案计数。
2024-03-11 cs.DB cs.DM cs.LO
Combined-Semantics Equivalence Is Decidable for a Practical Class of Conjunctive Queries
在本文中，我们专注于问题的确定是否两个合取（“CQ”）关系数据上提出的查询是组合语义等价的[9]。我们继续[2，5，9]的传统，使用查询之间的包含工具来研究这个问题。我们引入了一个语法的必要和充分条件，属于一个大的自然语言的“显式波”组合语义CQ查询的查询等价，这种语言包括（但不限于）所有的集，袋，袋集查询，并出现覆盖所有的组合语义CQ查询，在SQL中表达。我们的结果解决了在积极的可判定性问题，确定组合语义等价对显式波CQ查询。也就是说，对于任意一对组合语义CQ查询，它是可判定的（i）确定每个查询是否是显式波，以及（ii）确定，在两个查询都是显式波的情况下，它们是否是组合语义等价的，通过使用我们的语法标准。(The确定一般组合语义CQ查询的等价性的问题仍然是开放的。即便如此，我们的语法充分包含条件仍然可以用来确定两个通用CQ查询是组合语义等价的。我们的等价性测试，以及我们包含组合语义CQ查询的一般充分条件，正确地减少到[2，5]中报告的集，袋和袋集语义的特殊情况。我们的包含和等价条件也适当地推广了[9]的结果，只要后者限于（组合语义）CQ查询的语言。
2014-08-13 cs.DB
On the Enumeration Complexity of Unions of Conjunctive Queries
研究了合取并的计数复杂性。我们的目标是确定的UCQ是听话的，在这个意义上，答案元组可以枚举与线性预处理阶段和每个连续的元组之间的恒定延迟。已经确定的是，在没有自连接的情况下，在传统的复杂性假设下，允许这样的评估的CQ正是自由连接的CQ。易处理的CQ的并集总是易处理的。我们推广的概念，从CQ到UCQ的自由连接，从而表明，一些工会含有棘手的CQ，事实上，听话。有趣的是，一些只由难以驾驭的CQ组成的工会也是易于驾驭的。我们还展示了如何在数据库包含基数依赖（包括函数依赖和键约束）或UCQ包含不等式的设置中使用本文中介绍的技术。找到一个完整的定性的UCQ的易处理性的问题仍然悬而未决。尽管如此，我们证明了几类查询，自由连接完全捕捉到易处理的UCQ。
2021-05-06 cs.DB
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
Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints
Inria, LIRMM, University of Montpellier, CNRS（法国国家信息与自动化研究所、LIRMM、蒙彼利埃大学、法国国家科学研究中心）；Leipzig University（莱比锡大学）；Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI)（可扩展数据分析与人工智能中心）；Warsaw University（华沙大学）
研究在TGD约束下联接查询的线性时间评估的限制，提出方法在某些评估模式和TGD类中提升无约束环境下的二分法。
2026-03-19 cs.DB
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
本文证明判断 UC2RPQ 查询是否等价于任意树宽 k 的查询是可判定的，并给出构造最大下逼近的算法，同时将方法推广到路径宽及单向 UCRPQ 情形。
2025-03-04 cs.DB cs.FL cs.LO
Extremal Fitting Problems for Conjunctive Queries
本文研究合取查询拟合问题的非唯一性，提出最一般、最具体和唯一拟合等细化概念，并给出结构刻画、复杂度分析和查询大小确定。
2025-09-24 cs.DB
Conjunctive Queries with Free Access Patterns under Updates
本研究针对更新下带自由访问模式的合取查询应答问题，提出普适且对两类查询最优的完全动态求值方法，刻画了常数更新与枚举延迟的查询句法特征，梳理了复杂度权衡并将方法适配至概率数据库场景。
2025-06-13 cs.DB
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
