[论文解读] The complexity of acyclic conjunctive queries revisited

Arnaud Durand, Étienne Grandjean|arXiv (Cornell University)|May 2, 2006

Advanced Graph Theory Research参考文献 22被引用 5

一句话总结

本文提出一种基于一元函数上一阶逻辑的函数式查询框架，用于分析无环连接查询的复杂度。证明了包括不等式、比较以及布尔或非布尔形式在内的多种查询变体均为固定参数线性复杂度，其评估时间受 $ f(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| $ 限制，显著优于先前的界，并将可 tractable 的范围扩展至此前不可 tractable 的情形。

ABSTRACT

In this paper, we consider first-order logic over unary functions and study the complexity of the evaluation problem for conjunctive queries described by such kind of formulas. A natural notion of query acyclicity for this language is introduced and we study the complexity of a large number of variants or generalizations of acyclic query problems in that context (Boolean or not Boolean, with or without inequalities, comparisons, etc...). Our main results show that all those problems are extit{fixed-parameter linear} i.e. they can be evaluated in time $f(|Q|).| extbf{db}|.|Q( extbf{db})|$ where $|Q|$ is the size of the query $Q$, $| extbf{db}|$ the database size, $|Q( extbf{db})|$ is the size of the output and $f$ is some function whose value depends on the specific variant of the query problem (in some cases, $f$ is the identity function). Our results have two kinds of consequences. First, they can be easily translated in the relational (i.e., classical) setting. Previously known bounds for some query problems are improved and new tractable cases are then exhibited. Among others, as an immediate corollary, we improve a result of \~\cite{PapadimitriouY-99} by showing that any (relational) acyclic conjunctive query with inequalities can be evaluated in time $f(|Q|).| extbf{db}|.|Q( extbf{db})|$. A second consequence of our method is that it provides a very natural descriptive approach to the complexity of well-known algorithmic problems. A number of examples (such as acyclic subgraph problems, multidimensional matching, etc...) are considered for which new insights of their complexity are given.

研究动机与目标

• 通过将关系查询转化为一元函数上的函数式查询，建立统一框架以分析无环连接查询的复杂度。
• 将标准无环连接查询（ACQ）的可 tractable 结果扩展至更广泛的类别，包括含不等式（$\neq$）和比较（$<$）的查询。
• 证明这些扩展后的查询类别为固定参数线性复杂度，优于以往的指数或多项式界。
• 提供一种基于描述逻辑的方法，自然捕捉多维匹配和命中集等著名算法问题的复杂度。
• 识别树状查询可 tractable 的边界，并探索其在约束满足问题和树状结构数据中的应用。

提出的方法

• 提出一类基于一元函数上一阶逻辑的新式一元函数查询，定义了一种类图的无环性概念，确保在转换过程中保持查询结构。
• 开发了从关系连接查询到等价函数式查询的线性时间转换方法，保持无环性与查询语义。
• 应用函数式查询框架证明固定参数线性复杂度：$ f(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| $，其中 $ f $ 依赖于查询结构。
• 通过最小样本构造和结构分析，对查询评估与枚举的复杂度进行上界估计。
• 将该框架应用于已知的 NP-难问题（如多维匹配、唯一命中集）以证明其在新表征下为固定参数线性。
• 利用连接查询与约束满足问题之间的对应关系，将结果推广至 CSP 和树状结构数据。

实验结果

研究问题

• RQ1 能否在现有指数或多项式界之外，进一步改进含不等式的无环连接查询的复杂度？
• RQ2 是否存在一种统一的逻辑框架，能够捕捉包括比较和不等式在内的多种查询变体的可 tractable 性？
• RQ3 能否将无环查询的固定参数线性复杂度扩展至更一般的查询类别，如有界树宽的查询？
• RQ4 标准算法问题（如多维匹配和唯一命中集）与函数式连接查询的复杂度之间有何关联？
• RQ5 该函数式查询模型能否用于推导出高效且可并行化的查询评估与枚举算法？

主要发现

• 所有考虑的无环连接查询变体——无论布尔或非布尔，含或不含不等式或比较——均为固定参数线性复杂度，评估时间为 $ f(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| $。
• 对 $ \text{ACQ}^\neq $（含不等式的无环查询）的界从 $ g(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| \cdot \log^2|\text{db}| $ 改进为 $ f(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| $，其中在某些情况下 $ f $ 为恒等函数。
• 多维匹配、唯一命中集和反链问题被证明可在时间 $ O_{r,k}(|M|) $ 内求解，优于基于完美哈希的先前界。
• 该方法可实现所有考虑查询类别的线性延迟结果枚举。
• 函数式查询框架为算法问题的复杂度提供了一种自然的描述逻辑方法，为理解其可 tractable 性提供了新见解。
• 从关系查询到函数式查询的转换保持了无环性，使得复杂度结果可在模型间转移，从而在关系数据库中开启了新的可 tractable 情况。