[論文レビュー] Entropy bounds for conjunctive queries with functional dependencies

Tomasz Gogacz, Szymon Toruńczyk|arXiv (Cornell University)|Dec 6, 2015

Complexity and Algorithms in Graphs参考文献 8被引用数 4

ひとこと要約

この論文は、関数的依存関係下での結合的問い合わせの最悪ケースサイズの上限を正確に特徴づけ、Gottlob ら（2012）が提案したエントロピーに基づく上限がタイトであることを示している。エントロピー・ベクトルと有限群構成を用いて、その上限が正確に表現可能であることを確立し、未解決の問題を解決するとともに、クエリサイズの上限と情報理論の深い問題を結びつけた。

ABSTRACT

We study the problem of finding the worst-case bound for the size of the result $Q(\mathbb{ D})$ of a fixed conjunctive query $Q$ applied to a database $\mathbb{ D}$ satisfying given functional dependencies. We provide a precise characterization of this bound in terms of entropy vectors, and in terms of finite groups. In particular, we show that an upper bound provided by Gottlob, Lee, Valiant and Valiant is tight, answering a question from their paper. Our result generalizes the bound due to Atserias, Grohe and Marx, who consider the case without functional dependencies. Our result shows that the problem of computing the worst-case size bound, in the general case, is closely related to difficult problems from information theory.

研究の動機と目的

• 関数的依存関係下での結合的問い合わせの結果の最悪ケースサイズを特徴づけること。
• Gottlob ら（2012）が提案したエントロピーに基づく上限が、関数的依存関係が存在する状況でもタイトであるかどうかを特定すること。
• クエリサイズの上限と情報理論的エントロピー・コーン、および有限群構成との関係を確立すること。
• AGM 界（Atserias, Grohé, Marx）を関数的依存関係の存在する場合に一般化すること。
• 関数的依存関係下での結合的問い合わせの評価のアルゴリズム的複雑性を調査すること。

提案手法

• 論文は、クエリ変数の部分集合によってインデックス付けされたエントロピー・ベクトルを用い、データベースインスタンス内の変数群の結合エントロピーを表現する。
• 最悪ケースのクエリサイズ指数 α(Q) が、関数的依存関係およびクエリ制約を満たすすべてのエントロピー・ベクトルにおける最小エントロピー値に等しいことを証明する。
• 有限群構成を用いて下界を達成し、エントロピー境界のタイトさを示している。
• 関数的依存関係をエントロピー制約に翻訳し、エントロピー・コーンを用いて妥当なエントロピー・ベクトルを特徴づける。
• 関数的依存関係のための反復的幅の概念を定義し、クエリ評価アルゴリズムの複雑性を制御する。
• 特にエントロピー・コーンの構造と非シャノン不等式に言及する情報理論の結果を応用して、問題を分析する。

実験結果

リサーチクエスチョン

• RQ1 関数的依存関係が存在する場合、結合的問い合わせの結果サイズに対するエントロピーに基づく上限はタイトか？
• RQ2 関数的依存関係下で、エントロピー・ベクトルを用いて最悪ケースクエリサイズ指数 α(Q) を正確に特徴づけられるか？
• RQ3 有限群構成と結合的問い合わせのエントロピーに基づく境界との関係は何か？
• RQ4 関数的依存関係の存在が、AGM 界（分数的エッジ被覆）の適用性にどのように影響するか？
• RQ5 α(Q) の計算問題は、エントロピー・コーン上の最適化問題に還元可能か？ その計算上の課題は何か？

主な発見

• Gottlob ら（2012）が事前に提案したクエリ結果サイズのエントロピーに基づく上限が、関数的依存関係下でもタイトであることが証明され、彼らの未解決問題に肯定的な答えを与えた。
• 最悪ケースサイズ指数 α(Q) は、関数的依存関係およびクエリ構造を満たすすべてのエントロピー・ベクトルにおける最小エントロピー値に正確に等しい。
• 有限群構成によりエントロピー下界が達成され、エントロピー特徴づけが上界にとどまらず、タイトであることが証明された。
• α(Q) の計算問題は、情報理論の難問、特にエントロピー・コーン上の最適化問題と深く関連していることが示された。
• 論文は AGM 界を関数的依存関係の存在する場合に一般化し、AGM 界が関数的依存関係が存在しない場合にのみ有効であることを示した。
• 時間計算量 O(|D|^α(Q) + m) でクエリ結果を計算するアルゴリズムが提示され、Atserias ら（2013）の結果を一般化した。ここで m は関数的依存関係の反復的幅である。