[論文レビュー] Dynamic Conjunctive Queries

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

Advanced Database Systems and Queries被引用数 12

ひとこと要約

本稿は、動的複合的問い合わせ（DCQs）を動的複雑性枠組みで調査し、否定および量化を含む拡張が強力な問い合わせクラスを捉えることを示している。DCQに否定を含めたもの（DynCQ¬）がすべての第一階論理で定義可能な問い合わせを捉えることが確立され、標準的およびΔ-意味論の下で、フラグメントの階層が特定された。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のフラグメントが実際に異なるかどうかは未解決のまま残しており、これらのクラスの間の分離結果はまだ得られていない。