[论文解读] A More General Theory of Static Approximations for Conjunctive Queries

Pablo Barceló, Miguel Romero+1 more|arXiv (Cornell University)|Jan 1, 2018

Advanced Database Systems and Queries被引用 3

一句话总结

该论文解决了超图分解中的两个长期悬而未决的开放问题：证明了检查分数化树宽（fhw）≤ k 以及广义树宽（ghw）≤ 2 均为 NP 完全问题，从而解决了数十年来未解的难题。作者进一步识别出可 tractable 的限制条件——如有界多重交集性质（BMIP）和有界交集性质（BIP）——这些条件使得 fhw 可在对数因子范围内实现多项式时间近似，为合取查询和约束满足问题（CSP）优化提供了实用算法。

ABSTRACT

Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. If a CQ is hard to evaluate, it is thus useful to evaluate an approximation of it in such fragments. While underapproximations (i.e., those that return correct answers only) are well-understood, the dual notion of overapproximations that return complete (but not necessarily sound) answers, and also a more general notion of approximation based on the symmetric difference of query results, are almost unexplored. In fact, the decidability of the basic problems of evaluation, identification, and existence of those approximations, is open. We develop a connection with existential pebble game tools that allows the systematic study of such problems. In particular, we show that the evaluation and identification of overapproximations can be solved in polynomial time. We also make progress in the problem of existence of overapproximations, showing it to be decidable in 2EXPTIME over the class of acyclic CQs. Furthermore, we look at when overapproximations do not exist, suggesting that this can be alleviated by using a more liberal notion of overapproximation. We also show how to extend our tools to study symmetric difference approximations. We observe that such approximations properly extend under- and over-approximations, settle the complexity of its associated identification problem, and provide several results on existence and evaluation.

研究动机与目标

• 解决固定 k ≥ 2 时检查分数化树宽（fhw）≤ k 是否可 tractable 的开放问题。
• 解决广义树宽（ghw）≤ 2 的复杂性问题，该问题尽管已知 k ≥ 3 时为 NP 难，但 k = 2 的情况长期未解。
• 识别出能确保有界 ghw 或 fhw 的可 tractable 计算或近似的、现实且非平凡的超图限制条件。
• 在有意义的结构约束下，开发 fhw 的多项式时间近似算法，实现更优的近似比。

提出的方法

• 通过从 3-SAT 的归约，利用一种新型超图构造方法，控制边交集，证明检查 fhw ≤ 2 和 ghw ≤ 2 的 NP 完全性。
• 引入有界多重交集性质（BMIP）作为结构限制，以确保 fhw 近似的 tractability。
• 利用 VC-维数和分数化边覆盖对偶性，通过超图的组合性质界近似比。
• 建立 BMIP 蕴含有界 VC-维数，从而通过整数边覆盖近似实现 fhw 的对数因子近似。
• 利用有界度性质（BDP）确保 Check(FHD,k) 的 tractability，利用 BIP 实现 fhw 的任意接近的多项式时间近似。
• 应用超图理论和约束满足问题的研究成果，在结构假设下推导出近似保证。

实验结果

研究问题

• RQ1 对于固定 k ≥ 2，检查 fhw(H) ≤ k 是否为 NP 完全问题？
• RQ2 检查 ghw(H) ≤ 2 的问题是否可 tractable 或 NP 完全？
• RQ3 能否在超图上施加有意义且非平凡的结构限制，以确保有界 ghw 或 fhw 的可 tractable 识别？
• RQ4 在现实约束下，多项式时间算法能否实现优于立方级的 fhw 近似比？
• RQ5 有界多重交集性质（BMIP）是否能实现 fhw 的对数因子内多项式时间近似？

主要发现

• 对于 k = 2，检查 fhw(H) ≤ k 为 NP 完全问题，解决了数据库理论中长达 13 年的开放问题。
• 检查 ghw(H) ≤ 2 同样为 NP 完全问题，填补了自 2006 年以来遗留的空白。
• 有界多重交集性质（BMIP）支持一种多项式时间算法，可在 O(k · log k) 因子内近似 fhw。
• 有界交集性质（BIP）允许实现任意接近的多项式时间近似 fhw。
• 有界度性质（BDP）确保 Check(FHD,k) 问题的 tractability。
• 具有有界 VC-维数的超图类——如满足 BMIP 的类——可实现分数化树宽的高效近似。