Corrigendum to "Counting Database Repairs that Satisfy Conjunctive Queries with Self-Joins"
[Maslowski and Wijsen，ICDT，2014]中的辅助引理7是错误的。该引理用于（且仅用于）同一篇论文的定理3的证明。在本勘误中，我们对后一个定理提供了一个新的证明。
2019-03-29 cs.DB
Cross-Model Conjunctive Queries over Relation and Tree-structured Data (Extended)
连接查询是数据库查询中最基本、最核心的一类查询。随着管理和处理海量不同类型数据需求的不断增长，对关系数据和树数据之间的合取查询的研究还很少。在本文中，我们研究了跨模型连接查询（CMCQs）的关系和树结构的数据（XML和JSON）。为了有效地处理具有有界中间结果的CMCQ，我们首先用位置信息对树节点进行编码。利用树节点的原始标签值和编码后的位置值，该算法可以同时连接关系和树数据，避免了大量的中间结果。CMJoin在标签值和编码位置值的总结果方面实现了最坏情况下的最优性。实验结果表明，所提出的技术的效率和可扩展性，以回答一个CMCQ的运行时间和中间结果的大小。
2022-06-09 cs.DB
Parallel-Correctness and Transferability for Conjunctive Queries
在现代大规模分布式系统中，查询评估的主要成本是通信轮数。出于这个原因，人们对单轮多路连接算法越来越感兴趣，其中数据首先在许多服务器上重新洗牌，然后以并行但无通信的方式进行评估。重新洗牌本身被指定为分配策略。我们引入了一个正确性条件，称为并行正确性，评估查询w.r.t.分配政策。我们研究了合取查询的并行正确性的复杂性以及查询之间的并行正确性的可转移性。我们还调查了某些家庭的分配政策，包括，例如，超立方体分布的可转移性的复杂性。
2015-01-05 cs.DB
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
Determinacy of Real Conjunctive Queries. The Boolean Case
Chaudhuri和Vardi在他们1993年的经典论文[CV93]中注意到，当我们试图将查询答案视为元组的包（多集）而不是元组的集合时，一些基本的数据库理论结果和技术无法生存。但令人遗憾的是，在[CV93]近30年后，基于包语义的数据库理论仍处于起步阶段。我们甚至不知道合取查询包含是否是可判定的。这并不是因为缺乏兴趣，而是因为，在多集的世界里，一切都突然变得令人沮丧地复杂。在本文中，我们试图重新审视，在袋语义的情况下，查询的确定性问题，这是最近集中研究的集合语义的情况下。我们表明，查询确定性（袋语义下）是可判定的布尔合取查询和undecidable工会这样的查询（在相反的集合语义的情况下，UCQ的情况下仍然是可判定的，即使是一元查询）。我们还表明，令人惊讶的是，在袋语义下的路径查询确定性与确定性集语义一致（因此，它是可判定的）。
2021-12-23 cs.DB
Space-Time Tradeoffs for Spatial Conjunctive Queries
本文针对空间合取查询，建立回答时间与空间使用的权衡下界，并构建最优索引，支持范围空性、范围计数和最近邻查询，可提升关系算法性能。
2025-09-12 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
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
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
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
A Nearly Instance-optimal Differentially Private Mechanism for Conjunctive Queries
在差分隐私（DP）下释放合取查询和图模式查询的结果大小在文献中受到相当大的关注，但现有的解决方案不提供任何最优性保证。我们为这个问题提供了第一个DP机制，它具有相当强的最优性概念，可以被认为是实例最优性到常数的自然放松。
2021-12-27 cs.CR cs.DB
Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems
合取问题和约束满足问题的求解是计算机科学中最基本的任务之一。它们是经典的NP完全问题。因此，寻找这些问题的易处理的片段在过去的几十年里受到了大量的研究兴趣。这项研究传统上沿着三条正交的线索进行。a）将查询重构为更简单、等价的查询（语义优化）b）基于查询的结构属性来界定答案大小c）以全局一致性遵循局部一致性的方式分解查询。连接这两个线程的各种工作已经取得了很大的进展。有界的答案大小和分解已经被证明是紧密相连的，通过分数超树宽度的重要概念，最近，子模宽度。最近的论文由Zió等人研究在语义优化下的分解直到广义超树宽度。在这项工作中，我们通过引入语义宽度的一般概念并研究分数超树宽度，自适应宽度，子模块宽度和分数覆盖数的语义版本来连接所有这三个线程。
2018-12-13 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
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
A short note on the counting complexity of conjunctive queries
这说明关闭了一个小的差距，在文献中的计算复杂性的合取查询显示，查询，不是自由连接没有一个线性时间计数算法在标准的复杂性假设。更一般地，它表明，所谓的量化的星大小是一个下界的指数在运行时的任何计数算法的合取查询。
2021-12-02 cs.CC cs.DB cs.LO
A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries
合取查询是基本的和大量研究的数据库查询;在关系代数中，它们是选择-项目-连接查询。在这篇文章中，我们研究计数的基本问题，给定一个合取查询和一个关系数据库，查询的答案在数据库上的数量。特别是，我们研究了这个问题的复杂性相对于合取查询集。我们提出了一个分割定理，它基本上表明，这个问题的一组合取查询是易处理的，相当于参数化CLIQUE问题，或硬的参数化计数CLIQUE问题;描述这些情况发生的标准是简单地说，在图论条件。
2015-01-21 cs.CC 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
Conjunctive Regular Path Queries with String Variables
我们引入类CXRPQ的合取xregex路径查询，这是从合取正则路径查询（CRPQs）通过添加字符串变量（也称为反向引用），发现在实际实现的正则表达式。CXRPQ可以被认为是用户友好的，因为它们结合了两个在实践中已经很好建立的概念：基于模式的图查询和带反向引用的正则表达式。由于字符串变量，CXRPQ可以表达路径间的依赖性，这是CRPQ无法表达的。CXRPQ的评估复杂度，如果不进一步限制，是PSPACE-硬的数据复杂度。我们确定了三个自然片段更可接受的评估复杂性：他们的数据复杂性是在NL，而他们的组合复杂性之间的EXPSPACE，PSPACE和NP。在表达能力方面，我们比较CXRPQ片段与CRPQ和工会的CRPQ，并与扩展的合取正则路径查询（ECRPQ）和工会的ECRPQ。
2019-12-19 cs.DB cs.FL
Extremal Fitting Problems for Conjunctive Queries
本文研究合取查询拟合问题的非唯一性，提出最一般、最具体和唯一拟合等细化概念，并给出结构刻画、复杂度分析和查询大小确定。
2025-09-24 cs.DB
Conjunctive Queries with Free Access Patterns under Updates
本研究针对更新下带自由访问模式的合取查询应答问题，提出普适且对两类查询最优的完全动态求值方法，刻画了常数更新与枚举延迟的查询句法特征，梳理了复杂度权衡并将方法适配至概率数据库场景。
2025-06-13 cs.DB
The Impact of Negation on the Complexity of the Shapley Value in Conjunctive Queries
Shapley值是一个传统的和充分研究的函数，用于确定合作博弈中参与者对联盟的贡献。在众多领域的应用中，最近有人提出使用Shapley值来量化元组对数据库查询结果的贡献。特别是，我们有一个透彻的理解的易处理边界的类的合取函数（CQ）和聚合函数在CQ。它也已经建立了一个易于处理的（随机）乘法近似存在于每个联盟的CQ。然而，所有这些结果都是基于CQ的单调性。在这项工作中，我们调查的含义否定的复杂性Shapley计算，在精确和近似的意义。我们推广了一个已知的二分法来解释否定的原子。我们还表明，否定从根本上改变了近似的复杂性。我们这样做是通过绘制一个连接到决定一个元组是否与查询“相关”的问题，并通过分析其复杂性。
2019-12-29 cs.DB
Compressed Representations of Conjunctive Query Results
关系查询，特别是连接查询，在对一个巨大的数据集执行时，通常会生成大量的输出结果。在这种情况下，如果我们计划在数据处理管道中进一步重用它，那么存储整个物化输出通常是不可行的。出于这个问题，我们研究的建设空间有效的压缩表示的输出的合取查询，与目标支持有效的访问的中间压缩结果为一个给定的访问模式。特别是，我们开始研究一个重要的权衡：最大限度地减少存储压缩结果所需的空间，与最大限度地减少响应时间和延迟的访问请求的结果。我们的主要贡献是一个新的参数化数据结构，它可以调整到权衡空间的回答时间。这种折衷使我们能够精确地控制数据结构的空间需求，并且依赖于查询的结构和访问模式。我们展示了如何使用数据结构与查询分解技术，以有效地表示几类合取查询的输出。
2018-03-27 cs.DB
Uniform Reliability of Self-Join-Free Conjunctive Queries
本文研究无自连接合取查询的一致可靠性计数问题，证明分层性既是多项式时间可解性的充分条件也是必要条件，并将已知二分法推广至元组概率由关系决定的受限情形。
2022-11-08 cs.DB
Quantum Computing for Query Containment of Conjunctive Queries
Humboldt-Universität zu Berlin（柏林洪堡大学）；Fraunhofer-Institut für Offene Kommunikationssysteme (FOKUS)（弗劳恩霍夫开放通信系统研究所）；Universität Passau（帕绍大学）
本文提出利用量子计算解决连接查询的查询包含性问题，通过将问题转化为可由量子硬件求解的优化问题，并在模拟器和量子设备上验证了其有效性。
2026-03-14 cs.DB
Language-aware Indexing for Conjunctive Path Queries
合取路径查询（CPQ）是复杂图分析中最常用的查询之一。然而，当前的图索引并不适合于完全支持查询语言表达CPQ的能力。因此，当前的方法在\cpq{}评估期间没有利用显著的修剪机会，导致查询处理性能差。我们提出了CPQ感知的路径索引CPQx，第一个路径索引定制的表达CPQ。CPQx建立在基于路径互模拟的结构概念的图中的路径的源-目标顶点对的集合的划分上。路径互模拟是路径上的等价关系，使得由该关系导出的每个划分块由图中相对于CPQ不可区分的路径组成。这种语言感知的图分区可以显著降低查询评估的成本。我们提出的方法，以支持完整的索引生存周期：索引的建设，维护和查询处理与我们的索引。我们还开发了兴趣感知的CPQx，以减少索引大小和索引构建开销，同时加快查询评估的兴趣。我们通过对14个真实图的广泛实验证明，我们的方法比最先进的方法加速查询处理多达多个数量级，索引大小更小。我们完整的C++代码库是开源的，可供进一步研究。
2021-12-27 cs.DB
The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space Complexity
我们从参数化复杂性的角度对合取查询计算的复杂性进行了一个基本的研究。我们根据问题的复杂性对布尔合取查询集进行分类。以前的工作表明，一组合取查询是固定参数易处理的，正是当一组等价于一组查询有界树宽。我们提出了一个很好的分类查询集参数化对数空间减少。我们表明，在有界树宽制度，有三个复杂度，并确定查询集的程度有界的路径宽度和有界树深度的属性。我们还通过对数空间机器刻画和完备问题研究了两个更高的度。我们的工作产生了一个显着丰富的角度对合取查询的复杂性，并在同一时间，提出了新的途径，参数化的复杂性的研究。
2013-06-25 cs.CC cs.DB cs.LO
Conjunctive Queries: Unique Characterizations and Exact Learnability
Universiteit van Amsterdam（阿姆斯特丹大学）；Universitat Pompeu Fabra（庞培法布拉大学）
我们回答的问题，合取查询是唯一的特点，多项式的许多积极和消极的例子，以及如何构造这样的例子有效。因此，我们得到了一个新的有效的精确学习算法的一类合取查询。在我们的贡献的核心在于两个新的多项式时间算法构建有限结构的同态格的边界。我们还讨论了模式映射和描述逻辑概念的独特特征和可学习性的影响。
2022-08-24 cs.AI cs.DB cs.LO
The Complexity of Conjunctive Queries with Degree 2
我们研究了连接查询回答对无界元查询的易处理性。众所周知，问题的易处理性可以在有界arity的假设下以查询树宽为特征。我们将这一结果推广到无界元数但度为2的情况。为此，我们引入超图稀释作为一种替代方法，以研究超图的子结构的原始图未成年人。使用稀释，我们观察到一个类似的排除网格定理度2超图。因此，我们表明，听话的合取查询回答的特点是广义超树宽度。一个类似的表征也显示了相应的计数问题。我们还概括了我们的主要结构的结果，任意有界度和讨论可能的路径对有界度的情况下的特征。
2022-06-11 cs.CC cs.DB
Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions
本文研究了使用简单正则表达式的合取正则路径查询并集（UCRPQs）的有界性问题，证明了其复杂度为$Π^P_2$完全，并可在多项式时间内生成等效的有界查询或最大有界查询。
2024-07-30 cs.DB
Computing the Difference of Conjunctive Queries Efficiently
针对合取查询差集计算，本文利用查询结构下推差集算子，给出一大类查询的线性时间算法及困难性结果，并用启发式规则和实验证明其相对 SQL 引擎的数量级加速。
2023-04-20 cs.DB
Conjunctive Queries with Negation and Aggregation: A Linear Time Characterization
该研究刻画了带否定合取查询的线性时间求值复杂度，提出对应常数延迟枚举算法，扩展到带否定的函数聚合查询后分析了逆阿克曼函数的影响，并给出合取查询差运算的应用。
2023-10-09 cs.DB cs.LO
Will My Favorite Chases Terminate if Evaluating Conjunctive Queries Does? One Does Not Simply Decide This
Inria, DI ENS, ENS, CNRS, PSL University（法国国家信息与自动化研究所，巴黎高等师范学院，法国国家科学研究中心，巴黎文理研究大学）；LIRMM, Inria, University of Montpellier, CNRS（蒙彼利埃大学与法国国家科学研究中心联合实验室，法国国家信息与自动化研究所，蒙彼利埃大学，法国国家科学研究中心）
研究探讨了在支持可决定查询蕴含的规则类中，抽象规则类是否能变得具体，发现基于经典追逐变种终止性和有限树宽集的规则类并不满足这一条件。
2026-05-12 cs.DB
Conjunctive Queries on Probabilistic Graphs: Combined Complexity
已知概率数据库上的查询评估在许多情况下是难以处理的，即使在数据复杂度方面，即，当查询是固定的。虽然已经提出了查询[19]和实例[4]的一些限制以降低复杂度，但这些已知的易处理情况通常不适用于组合复杂度，即，当查询不固定时。这就留下了一个开放的问题，即查询和实例语言，以确保组合复杂性的概率查询评估的易处理性。本文提出了第一个一般性的研究结合的概率实例的二进制签名，我们也可以作为一个概率版本的图同态问题，或约束满足问题（CSP）的变种的合取查询评估的复杂性。我们研究这个问题的复杂性取决于实例和查询是否可以使用的功能，如边缘标签，断开，分支，并在两个方向上的边缘。我们使用各种技术工具证明了复杂性景观是惊人的丰富：基于自动机的编译到d-DNNF谱系[4]，\b{eta} -使用[10]的非循环谱系，[24]中易于处理的CSP的X属性，分级DAG [27]和各种编码技术用于硬度证明。
2019-08-27 cs.DB
Minimally Factorizing the Provenance of Self-join Free Conjunctive Queries
该研究针对无自连接合取查询溯源的最小因式分解问题，证明其为NP完全问题，识别出更多多项式时间可解的查询类，并提出ILP精确算法和MFMC近似算法，二者均覆盖已知易处理情况且可求解难例。
2024-05-14 cs.DB
Conjunctive Queries over Trees
我们研究的复杂性和表达能力的合取查询无排名的标记树表示使用各种结构关系，如“孩子”，“后代”，“以下”以及一元关系的节点标签。我们建立了一个框架，用于表征表示树的结构，可以有效地评估合取查询。然后，我们完全绘制了问题的易处理边界，并为我们的轴关系建立了一个二分法定理，即，我们发现所有的子集最大集的轴查询评估是在多项式时间，并表明，对于所有其他情况下，查询评估是NP-完全的。所有的多项式时间的结果，立即获得使用我们的框架的证明技术。最后，我们研究了树上的合取查询的表达性，并证明了对于每个合取查询，存在一个等价的非循环正查询（即，一组非循环合取查询），但是通常该查询不是多项式大小的。
2006-02-02 cs.AI cs.CC 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
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
Answering Conjunctive Queries with Inequalities
本文研究了用不等式回答合取查询的复杂性。特别是，我们感兴趣的是比较复杂的查询和不平等。我们的工作的主要贡献是一种新的组合技术，使我们能够使用任何选择-项目-连接查询计划为一个给定的CQ没有不平等回答CQ的不平等，在运行时间的一个额外的因素，只取决于查询。关键思想是定义一个新的投影算子，它保留了映射到投影输出中的每个元组的输入元组集合的小表示（与数据库的大小无关）;该表示用于评估查询中的所有不等式。其次，我们推广了Papadimitriou-Yannakakis [17]的一个结果，并给出了一个基于颜色编码技术[4]的替代算法，通过使用不含不等式的CQ的算法来计算含不等式的CQ。第三，我们调查的结构的查询图，不等式图，和增强的查询图与不等式，并表明，即使查询和不等式图有界树宽，增强图不仅可以有一个无界树宽，但也可以是NP-难评估。此外，我们说明类的查询和不等式的增强图有无界树宽，但CQ与不等式可以在多时间进行评估。最后，我们给出了允许一类CQ具有关于任何不等式模式的多时间组合复杂度的必要性质和充分性质。我们还说明了类的查询，我们的查询计划为基础的技术优于本文中讨论的替代方法。
2014-12-12 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
On the feasibility of semantic query metrics
本文研究关系数据库语义查询度量的定义问题，证明合取查询下该度量不可定义，同时找到合取查询的一个可行子类并确定其距离计算的复杂度。
2025-03-23 cs.DB
Counting Answers to Existential Positive Queries: A Complexity Classification
势正公式形成一阶逻辑的片段，其包括并在语义上等价于合取查询的并集，合取查询是数据库理论中最重要和研究最充分的查询类别之一。我们考虑了有限结构上存在正公式的答案数计算的复杂性，并在有界元的条件下给出了查询类的一个截集定理。这个定理推广和统一了关于合取查询和合取查询并的复杂性的几个已知结果。
2016-04-20 cs.CC cs.DB
Boolean Tensor Decomposition for Conjunctive Queries with Negation
我们提出了一个算法，回答与否定的连接查询，其中否定关系有界度。它的数据复杂性匹配的最知名的算法的积极的子查询的输入查询，并表示在分数超树宽度和子模块宽度。查询的复杂性取决于否定子查询的结构;一般来说，它在否定关系中出现的连接变量的数量上是指数级的，但对于几类查询，它会变成多项式。该算法依赖于几个贡献。我们将展示如何重写查询否定的有界度关系到等价的合取查询与不全相等（NAE）的谓词，这是一个多维的模拟不平等（不平等）。然后，我们将已知的颜色编码技术推广到NAE谓词的连词，并通过NAE谓词的连词的布尔张量分解来解释它。这种分解可以通过一个可以有效去随机化的概率构造来实现。
2019-01-28 cs.DB cs.DM math.CO
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
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
Minimizing Conjunctive Regular Path Queries
研究了CRPQs和UCRPQs的查询最小化问题，证明了其可判定性并给出了复杂度边界，其中UCRPQs为ExpSpace完全，使用简单正则表达式时为$Π^p_2$完全。
2025-04-01 cs.DB
