[论文解读] Counting Answers to Existential Positive Queries: A Complexity Classification

Hubie Chen, Stefan Mengel|arXiv (Cornell University)|Jan 13, 2016

Data Management and Algorithms参考文献 13被引用 4

一句话总结

本文建立了有限结构上具有有界基数的元逻辑正查询计数问题的参数化复杂性三支定理。通过证明一个等价定理，将元逻辑正查询的计数复杂性归约为原语正查询，作者统一并推广了先前的结果，表明每个问题要么是固定参数可追踪的，要么等价于团问题，要么与计数团问题一样困难——在标准复杂性假设下成立。

ABSTRACT

Existential positive formulas form a fragment of first-order logic that includes and is semantically equivalent to unions of conjunctive queries, one of the most important and well-studied classes of queries in database theory. We consider the complexity of counting the number of answers to existential positive formulas on finite structures and give a trichotomy theorem on query classes, in the setting of bounded arity. This theorem generalizes and unifies several known results on the complexity of conjunctive queries and unions of conjunctive queries.

研究动机与目标

• 对具有有界基数的有限结构上元逻辑正查询的满足赋值计数问题的参数化复杂性进行分类。
• 统一并推广关于合取查询、合取查询的并集及相关计数问题的现有复杂性结果。
• 为理解数据库查询评估中计数的可追踪性，特别是决策支持系统中的情况，建立理论基础。
• 将先前关于原语正查询的二分和三支结果扩展到更广泛的元逻辑正查询类。
• 提供原语正公式之间计数等价性的句法表征，以支持保持复杂性的归约。

提出的方法

• 引入元逻辑正公式中‘无自由变量部分’的概念，隔离其无量词、无自由变量的组成部分。
• 定义一种变换，将每个元逻辑正公式映射为一组原语正公式，同时保持计数复杂性不变。
• 证明‘等价定理’（定理 3.1），表明对于任意一组元逻辑正查询，均存在一组对应的原语正查询，其计数复杂性完全相同。
• 使用计数切片归约，将元逻辑正公式上的计数问题与其变换后的原语正查询对应物联系起来。
• 利用现有原语正查询的三支定理作为黑箱，推导出元逻辑正查询的主要三支定理。
• 应用句法条件，确定在何种条件下两个原语正公式在所有有限结构上计数等价，从而将 Chandra 和 Merlin 的经典工作推广到计数场景。

实验结果

研究问题

• RQ1 在具有有界基数的有限结构上，元逻辑正查询的答案计数问题的参数化复杂性是什么？
• RQ2 能否在不损失一般性的前提下，将元逻辑正查询的答案计数复杂性归约为原语正查询？
• RQ3 在何种句法条件下，两个原语正公式在所有有限结构上计数等价？
• RQ4 句子析取项（即无量词句子）的存在如何影响元逻辑正查询的计数复杂性？
• RQ5 是否存在一个统一的分类框架，能够统一先前关于合取查询和合取查询并集的二分与三支结果？

主要发现

• 本文建立了三支定理：对于任意一组具有有界基数的元逻辑正查询，其计数问题要么是固定参数可追踪的，要么等价于团问题，要么与计数团问题一样困难。
• 等价定理（定理 3.1）表明，每一组元逻辑正查询在计数复杂性上均与一组对应的原语正查询计算等价。
• 原语正公式之间的计数等价性通过句法特征表征：两个公式计数等价当且仅当它们具有相同的极小模型集合，并满足特定的逻辑蕴含条件。
• 从元逻辑正公式到原语正公式的变换在每个有限结构上均保持满足赋值的数量，从而实现复杂性的转移。
• 三支结果在标准假设 FPT ≠ W[1] 下成立，意味着该类问题的固定参数可追踪性可被精确刻画。
• 有界基数的假设仅对最终的三支定理是必要的，而非对等价定理，这表明若存在原语正查询的对应计数三支定理，则该结果可能可推广至无界基数。