[論文レビュー] Heuristic and Cost-based Optimization for Diverse Provenance Tasks

Xing Niu, Raghav Kapoor+5 more|arXiv (Cornell University)|Apr 17, 2018

Scientific Computing and Data Management参考文献 14被引用数 3

ひとこと要約

この論文では、ヒューリスティックおよびコストベースの技術を組み合わせることで、プロヴァナンス集約クエリのパフォーマンスを顕著に向上させる、プロヴァナンスに配慮した最適化フレームワークを提示する。代数的同等性と代替のインストルメンテーション戦略を活用することで、多様なプロヴァナンスタスクにおいて実行時間を数個のオーダー以上に短縮する。

ABSTRACT

A well-established technique for capturing database provenance as annotations on data is to instrument queries to propagate such annotations. However, even sophisticated query optimizers often fail to produce efficient execution plans for instrumented queries. We develop provenance-aware optimization techniques to address this problem. Specifically, we study algebraic equivalences targeted at instrumented queries and alternative ways of instrumenting queries for provenance capture. Furthermore, we present an extensible heuristic and cost-based optimization framework utilizing these optimizations. Our experiments confirm that these optimizations are highly effective, improving performance by several orders of magnitude for diverse provenance tasks.

研究の動機と目的

• データベースシステムにおけるプロヴァナンスキャプチャのためのクエリインストルメンテーションによって引き起こされるパフォーマンス劣化を是正すること。
• 代数的同等性と代替のインストルメンテーション手法を用いて、プロヴァナンスに配慮したクエリの最適化を実現すること。
• ヒューリスティックおよびコストベースの最適化を統合する、拡張可能な最適化フレームワークを設計すること。
• プロヴァナンスの整合性や正しさを損なわず、クエリ実行効率を向上させること。
• 知的な最適化によりランタイムのオーバーヘッドを低減することで、プロヴァナンスシステムの実用的導入を可能にすること。

提案手法

• インストルメンテッドクエリに特化した代数的同等性を提案し、プロヴァナンスに配慮した実行計画間での最適化を可能にする。
• アノテーションの伝搬オーバーヘッドを低減しながらもプロヴァナンス意味論を保持する代替のインストルメンテーション戦略を導入する。
• 統計と選択性推定値を用いて、代替の実行計画のコストを推定するコストベースの最適化フレームワークを設計する。
• 最適化時間と計画品質のバランスを取る適応的最適化戦略を実装し、最適戦略の2倍以内の性能を保証する。
• 区間ベースのプルーニングを用いた計画空間走査アルゴリズムを設計し、高品質なプロヴァナンスクエリ計画を効率的に探索する。
• プロヴァナンス多項式の意味論とリレーショナルエンコーディングを活用し、プロヴァナンスアノテーションをクエリ代数の一部としてモデル化する。

実験結果

リサーチクエスチョン

• RQ1 インストルメンテッドクエリに対して代数的同等性をどのように特定・適用することで、プロヴァナンスクエリのパフォーマンスを向上させられるか？
• RQ2 計算コストを低減しながらも、忠実性を損なわない代替のインストルメンテーション手法は何か？
• RQ3 コストベースの最適化をどのように拡張すれば、プロヴァナンスに配慮したクエリ計画を効果的に処理できるか？
• RQ4 プロヴァナンスクエリ最適化において、最適化時間と計画品質のトレードオフはどのようなものか？
• RQ5 適応的最適化戦略は、オーバーヘッドを制限しつつ、近似的に最適なパフォーマンスを達成できるか？

主な発見

• 提案された最適化フレームワークは、多様なプロヴァナンスタスクにおいて、クエリパフォーマンスを数個のオーダー以上に向上させる。
• 適応的最適化戦略は2-競合性（2-competitive）であることが証明されており、最適戦略の2倍以内に収まる合計最適化時間と実行時間を保証する。
• 代数的同等性と代替のインストルメンテーション手法は、プロヴァナンスに配慮したクエリ実行コストを顕著に低減する。
• コストベースの最適化フレームワークは、計画コストを効果的に推定・比較でき、高品質な実行計画の選択を可能にする。
• 計画空間走査アルゴリズムは、区間ベースのプルーニングと動的かつ柔軟な低・高値境界の使用により、有望な探索領域を効率的に探索する。
• 実験的評価により、フレームワークが多様なプロヴァナンスワークロードにおいて顕著なパフォーマンス向上を達成することが確認された。