[论文解读] Dynamic Conjunctive Queries

Thomas Zeume, Thomas Schwentick|arXiv (Cornell University)|Jan 1, 2014

Advanced Database Systems and Queries被引用 12

一句话总结

本文在动态复杂度框架下研究了动态共合查询（DCQs），表明引入否定和量化后的扩展能够捕捉强大的查询类。研究证明，带否定的动态共合查询（DCQ with negation）可捕捉所有一阶可定义查询，并在标准语义和Δ-语义下识别出一个片段层次结构，其中DynCQ¬包含DynQF和DynProp，而核心片段之间的精确分离关系仍为开放问题。

ABSTRACT

The article investigates classes of queries maintainable by conjunctive queries (CQs) and their extensions and restrictions in the dynamic complexity framework of Patnaik and Immerman. Starting from the basic language of quantifier-free conjunctions of positive atoms, it studies the impact of additional operators and features - such as union, atomic negation and quantification - on the dynamic expressiveness, for the standard semantics as well as for Delta-semantics. Although many different combinations of these features are possible, they basically yield five important fragments for the standard semantics, characterized by the addition of (1) arbitrary quantification and atomic negation, (2) existential quantification and atomic negation, (3) existential quantification, (4) atomic negation (but no quantification), and by (5) no addition to the basic language at all. While fragments (3), (4) and (5) can be separated, it remains open whether fragments (1), (2) and (3) are actually different. The fragments arising from Delta-semantics are also subsumed by the standard fragments (1), (2) and (4). The main fragments of DynFO that had been studied in previous work, DynQF and DynProp, characterized by quantifier-free update programs with or without auxiliary functions, respectively, also fit into this hierarchy: DynProp coincides with fragment (4) and DynQF is strictly above fragment (4) and within fragment (3). As a further result, all (statically) FO-definable queries are captured by fragment (2) and a complete characterization of these queries in terms of non-recursive dynamic programs with existential update formulas with one existential quantifier is given.

研究动机与目标

• 理解在动态复杂度框架下，带否定、析取和量化的动态共合查询扩展的相对表达能力。
• 确定更大的静态查询类（如一阶逻辑）是否能通过具有受限语法的动态查询类来捕捉。
• 澄清动态查询维护中标准语义与Δ-语义之间的关系。
• 研究动态共合查询类内部片段的分离与坍缩问题。
• 通过非递归动态∃¹FO程序刻画一阶逻辑的动态表达能力。

提出的方法

• 作者使用Patnaik-Immerman框架分析动态查询维护，其中在每次数据库修改后，通过一阶公式更新辅助关系。
• 通过在无量词共合查询中扩展并集、原子否定以及存在/全称量化等操作符，定义动态共合查询片段。
• 关键技术在于构造一阶公式，通过修改次数的归纳，模拟插入和删除序列以维护辅助关系。
• 在最终公式中采用“猜测并验证”方法，模拟图上m次插入和删除的影响，从而捕捉可达性等查询。
• 通过证明在Δ-语义下某些片段被标准语义片段所包含，建立绝对语义与Δ-语义之间的联系。
• 作者证明，带否定的动态共合查询（DynCQ¬）可捕捉所有一阶可定义查询，采用非递归动态∃¹FO程序构造。

实验结果

研究问题

• RQ1 带否定和量化的动态共合查询是否能表达所有一阶可定义查询？
• RQ2 并集、否定和量化等操作符的不同组合如何影响动态查询类的表达能力？
• RQ3 DynCQ、DynCQ¬和DynFO片段是否严格分离，还是在动态环境中发生坍缩？
• RQ4 在动态共合查询背景下，标准语义与Δ-语义之间存在何种关系？
• RQ5 动态复杂度框架是否能仅通过非递归动态程序捕捉静态一阶逻辑？

主要发现

• 带否定的动态共合查询（DynCQ¬）可捕捉所有一阶可定义查询，为FO提供了完整的动态刻画。
• DynCQ¬片段包含DynQF和DynProp，且DynQF严格包含DynProp，确认了动态表达能力中的层次结构。
• 由存在量化和原子否定定义的片段（DynCQ¬）比仅含存在量化或仅含否定的片段更具表达力。
• 本文证明，在Δ-语义下，动态共合查询片段的表达能力被其标准语义对应物所包含。
• 尽管DynCQ¬表达能力强，但将含k个量化的第一阶查询转换为动态程序时，其程序的元数至少为k，表明可能存在性能开销。
• 本文未解决DynCQ、DynCQ¬和DynFO片段是否实际不同，因为目前尚无这些类别的分离结果。