[論文レビュー] Answering UCQs under Updates and in the Presence of Integrity Constraints

Christoph Berkholz, Jens Keppeler+1 more|arXiv (Cornell University)|Sep 28, 2017

Logic, Reasoning, and Knowledge参考文献 18被引用数 6

ひとこと要約

本稿は、更新下での動的クエリ評価の tractability を正確に特徴付ける、結合付き述語クエリ（UCQ）の階層的クラス—t-階層的、q-階層的、および完全にq-階層的—を導入する。このクラスにおいて、テスト、列挙、カウントの各処理が定数時間の更新時間と応答時間で維持可能であることを証明している。一方、これらのクラスの外では、標準的なアルゴリズム的予想のもとで、サブ線形な性能は不可能である。

ABSTRACT

We investigate the query evaluation problem for fixed queries over fully dynamic databases where tuples can be inserted or deleted. The task is to design a dynamic data structure that can immediately report the new result of a fixed query after every database update. We consider unions of conjunctive queries (UCQs) and focus on the query evaluation tasks testing (decide whether an input tuple belongs to the query result), enumeration (enumerate, without repetition, all tuples in the query result), and counting (output the number of tuples in the query result). We identify three increasingly restrictive classes of UCQs which we call t-hierarchical, q-hierarchical, and exhaustively q-hierarchical UCQs. Our main results provide the following dichotomies: If the query's homomorphic core is t-hierarchical (q-hierarchical, exhaustively q-hierarchical), then the testing (enumeration, counting) problem can be solved with constant update time and constant testing time (delay, counting time). Otherwise, it cannot be solved with sublinear update time and sublinear testing time (delay, counting time), unless the OV-conjecture and/or the OMv-conjecture fails. We also study the complexity of query evaluation in the dynamic setting in the presence of integrity constraints, and we obtain according dichotomy results for the special case of small domain constraints (i.e., constraints which state that all values in a particular column of a relation belong to a fixed domain of constant size).

研究の動機と目的

• データベースの更新下での結合付き述語クエリ（UCQ）の動的クエリ評価の正確な tractability の境界を同定すること。
• t-階層的、q-階層的、および完全にq-階層的という、段階的に制限が厳しい3つのクラスを導入することで、従来の結合付き述語クエリ（CQ）の研究をUCQに拡張すること。
• 特に小領域制約（small domain constraints）を含む整合性制約が、UCQの評価の動的複雑度に与える影響を分析すること。
• OMv予想およびOV予想に基づくタイトな下界を確立し、定義されたクラスの外では、サブ線形な更新時間および応答時間が不可能であることを示すこと。
• 包含依存関係や関数的依存関係が、困難なクエリを扱いやすいものに変換できることを示すが、そのような変換が常に階層的クエリクラスによって捉えられるわけではないこと。

提案手法

• 動的クエリ評価における定数時間テストを特徴付ける新しいクラス、t-階層的CQを導入する。
• t-階層的およびq-階層的クエリの概念をUCQに拡張し、完全にq-階層的UCQという新しいクラスを定義する。
• 定義されたクラスに属するクエリに対して、線形の事前処理、定数時間の更新、定数時間の応答（テスト、列挙の遅延、カウント時間）をサポートする動的データ構造を設計する。
• OMv予想およびOV予想を用いて下界を証明し、非階層的クエリではサブ線形な更新時間および応答時間が不可能であることを示す。
• 小領域制約（属性ごとの固定サイズのドメイン）の影響を分析し、もともとは困難なクエリが、このような制約のもとで扱いやすくなること、およびこの設定における tractable UCQ の正確な特徴付けを示す。
• 構造的クエリ分解およびホモモーティックコア解析を用い、原子の依存関係や変数の使用パターンを通じて、クエリ構造と動的複雑度の関係を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのUCQクラスが、動的クエリ評価において定数時間の更新と応答を可能にするか？
• RQ2 t-階層的、q-階層的、および完全にq-階層的UCQは互いにどのように関係し、どのような構造的性質によって特徴づけられるか？
• RQ3 小領域制約や包含依存関係などの整合性制約が、動的設定下で困難なクエリを扱いやすいものに変換できるか？
• RQ4 標準的なアルゴリズム的予想のもとでの動的クエリ評価のタイトな下界は何か？
• RQ5 関数的依存関係や包含依存関係を用いて、困難なクエリを扱いやすいものに還元できる範囲はどの程度か？また、そのような還元は階層的クエリクラスによって常に捉えられるか？

主な発見

• すべてのt-階層的UCQに対して、テスト問題は線形の事前処理、定数時間の更新、定数時間のテスト時間で解ける。
• すべてのq-階層的UCQに対して、列挙問題は線形の事前処理、定数時間の更新、出力タプル間の定数遅延で解ける。
• すべての完全にq-階層的UCQに対して、カウント問題は線形の事前処理、定数時間の更新、定数時間のカウント時間で解ける。
• UCQがt-階層的（q-階層的、完全にq-階層的）UCQに同値でない限り、テスト（列挙、カウント）問題はサブ線形の更新時間およびサブ線形の応答時間では解けない（OMv予想を仮定。カウントについてはOV予想も併用）。
• 小領域制約が存在する場合、動的UCQ評価の tractability の境界は、正確にt-階層的、q-階層的、および完全にq-階層的クラスによって特徴づけられる。
• 包含依存関係は、非階層的クエリを同値な階層的クエリに変換できるが、そのような変換が反復的適用によって常に可能であるとは限らず、すべての還元が階層的クラスによって捉えられるわけではない。