[論文レビュー] FAQ: Questions Asked Frequently

Mahmoud Abo Khamis, Hung Q. Ngo+1 more|arXiv (Cornell University)|Apr 15, 2015

Constraint Satisfaction and Optimization参考文献 81被引用数 13

ひとこと要約

本稿では、データベース、制約充足、確率的推論の分野における多様な問題を統一的に扱うための Functional Aggregate Query (FAQ) フレームワークを紹介する。また、分数的エッジ被覆と、『分数的 FAQ 幅』を最小化する独自の変数順序戦略を用いて最適化された、変数消去に基づく InsideOut アルゴリズムを提案する。このアプローチにより、広範なクエリクラスにおいて最悪計算量最適な性能を達成する。

ABSTRACT

We define and study the Functional Aggregate Query (FAQ) problem, which encompasses many frequently asked questions in constraint satisfaction, databases, matrix operations, probabilistic graphical models and logic. This is our main conceptual contribution. We then present a simple algorithm called "InsideOut" to solve this general problem. InsideOut is a variation of the traditional dynamic programming approach for constraint programming based on variable elimination. Our variation adds a couple of simple twists to basic variable elimination in order to deal with the generality of FAQ, to take full advantage of Grohe and Marx's fractional edge cover framework, and of the analysis of recent worst-case optimal relational join algorithms. As is the case with constraint programming and graphical model inference, to make InsideOut run efficiently we need to solve an optimization problem to compute an appropriate 'variable ordering'. The main technical contribution of this work is a precise characterization of when a variable ordering is 'semantically equivalent' to the variable ordering given by the input FAQ expression. Then, we design an approximation algorithm to find an equivalent variable ordering that has the best 'fractional FAQ-width'. Our results imply a host of known and a few new results in graphical model inference, matrix operations, relational joins, and logic. We also briefly explain how recent algorithms on beyond worst-case analysis for joins and those for solving SAT and #SAT can be viewed as variable elimination to solve FAQ over compactly represented input functions.

研究の動機と目的

• 行列乗算、確率的推論、結合的クエリなどの多様な計算問題を、1つの代数的フレームワークで統一すること。
• 複数の分野で効率的に動作する汎用アルゴリズムである InsideOut を開発し、Functional Aggregate Query (FAQ) 問題を解くこと。
• 意味的に同等の変数順序を同定し、最適な実行性能を達成するための分数的 FAQ 幅を最小化する近似アルゴリズムを設計すること。

提案手法

• 入力関数と集約演算子（例：和、最大値、積）を用いた変数上の一般化された集約として FAQ 問題を定式化する。
• 変数消去の動的計画法的変種である InsideOut アルゴリズムを導入し、効率性を確保するための分数的エッジ被覆フレームワークを活用する。
• Grohe と Marx の分数的エッジ被覆を用いて FAQ クエリの計算量を限定し、変数順序の選定を支援する。
• 意味的に同等の変数順序を保持しつつ、分数的 FAQ 幅を最小化する新たな最適化問題を定式化する。
• AGM 界およびその一般化を用いて出力サイズを推定し、関数的および非実装予定の述語が存在する状況におけるコスト推定を支援する。
• LogicBlox などの実システムにアルゴリズムを統合し、従来のデータ処理パイプラインと比較して顕著な性能向上を示した。

実験結果

リサーチクエスチョン

• RQ1 1つのクエリモデルが、データベース、AI、制約充足分野における多様な問題を統一できるか？
• RQ2 変数消去を、関数的集約と混合半環演算子の完全な一般性を扱えるようにどのように拡張できるか？
• RQ3 変数順序が入力の FAQ 式と意味的に同等であるための正確な条件は何か？
• RQ4 分数的 FAQ 幅を効率的に近似でき、最適なクエリ実行を支援できるか？
• RQ5 複雑な述語（例：a+b=c）のような、固定サイズでないものに対しても、アルゴリズムをどのようにして頑健に保てるか？

主な発見

• InsideOut アルゴリズムは、分数的エッジ被覆フレームワークと最適な変数順序の組み合わせにより、FAQ クエリに対して最悪計算量最適な性能を達成する。
• 本稿では、意味的に同等の変数順序を正確に同定し、クエリ実行計画の効率的最適化を可能にする。
• 分数的 FAQ 幅が、関数的および非実装予定の述語を含む一般化された AGM 界にまで拡張された、クエリ計算量のタイトな測定指標であることが示された。
• 分数的 FAQ 幅を最小化する変数順序を求める近似アルゴリズムが開発され、正確に計算するのは NP 困難であることが示された。
• LogicBlox データベースシステムにおける実験的評価により、R や Python を用いた従来のデータ処理パイプラインと比較して、桁違いの高速化が達成された。
• 本フレームワークは、リレーショナルジョイン、グラフィカルモデル、SAT/#SAT 解法の既知の結果を、FAQ の特別なケースとして一般化している。