[論文レビュー] Foundations of SPARQL Query Optimization

Michael Schmidt, Michael Meier+1 more|ArXiv.org|Dec 19, 2008

Semantic Web and Ontologies参考文献 23被引用数 16

ひとこと要約

この論文は、SPARQLクエリ最適化の基礎的な複雑性結果を確立し、Optional演算子が唯一PSpace-hard性を引き起こすことを示している。代数的書き換え規則の包括的セットと、チャージ手順を用いた新しい制約ベースの最適化フレームワークを導入しており、既存の結果を一般化する新しい終了条件を備え、多項式データ複雑性を保持している。

ABSTRACT

The SPARQL query language is a recent W3C standard for processing RDF data, a format that has been developed to encode information in a machine-readable way. We investigate the foundations of SPARQL query optimization and (a) provide novel complexity results for the SPARQL evaluation problem, showing that the main source of complexity is operator OPTIONAL alone; (b) propose a comprehensive set of algebraic query rewriting rules; (c) present a framework for constraint-based SPARQL optimization based upon the well-known chase procedure for Conjunctive Query minimization. In this line, we develop two novel termination conditions for the chase. They subsume the strongest conditions known so far and do not increase the complexity of the recognition problem, thus making a larger class of both Conjunctive and SPARQL queries amenable to constraint-based optimization. Our results are of immediate practical interest and might empower any SPARQL query optimizer.

研究の動機と目的

• SPARQLクエリ評価の計算複雑性を分析し、Optional演算子がPSpace-hard性の主な要因であることを同定する。
• 関係代数最適化技法の移行を可能にする、SPARQL代数の包括的な代数的クエリ書き換え規則のセットを構築する。
• チャージ手順を用いて制約ベースのクエリ最適化（意味的クエリ最適化）をSPARQLに拡張し、より高い表現力を実現するための新しい終了条件を導入する。
• 大規模なRDFデータベースにおける実用的SPARQLクエリ最適化を支援する理論的基盤を提供する。

提案手法

• Optional演算子を含むだけのSPARQL断片について、形式的な複雑性解析を提案し、評価問題がPSpace-hardであることを証明する。
• OptionalおよびFilterによる否定処理を含む、SPARQL代数演算子の代数的同値性のセットを導入する。
• 依存関係をモデル化するための最小制限システムを用いた、チャージ手順に基づく制約ベースの最適化フレームワークを構築する。
• チャージのための2つの新しい終了条件を定義する：1つは安全に強い連結成分に基づき、もう1つは安全に準階層的な成分に基づく。両者とも多項式データ複雑性を保持する。
• 依存関係のサイクルを分析するために、チャージグラフおよびその反射的閉包を用い、先行研究よりも弱い条件下でも終了を保証する。
• SPARQL代数式から導出されるTGD（タプル生成依存関係）をモデル化することで、チャージをSPARQLクエリに適用する。

実験結果

リサーチクエスチョン

• RQ1 SPARQLクエリ評価における複雑性の正確な原因は何か？ また、クエリ断片によってその複雑性はどのように変化するか？
• RQ2 関係代数から適応可能な代数的同値性は何か？ また、SPARQL固有の構造のために新たに必要な規則は何か？
• RQ3 チャージ手順はSPARQLクエリ最適化に効果的に適用可能か？ そして、その終了を保証する条件は何か？
• RQ4 制約ベースの最適化をSPARQLに一般化することは可能か？ その際、計算の tractability を維持できるか？

主な発見

• Optional演算子が唯一存在する場合でも、SPARQL評価問題はPSpace-hardであることが示され、これが複雑性の主な要因であることが特定された。
• 本稿では、チャージ手順のための2つの新しい終了条件を導入し、それらは既存のすべての条件を包含するとともに、多項式データ複雑性を保持する。
• 最小制限システムの構築により、新しい条件下でチャージグラフ内のすべてのサイクルが安全であることが保証され、制約ベースの最適化の適用範囲が拡大された。
• 本フレームワークは、従来の手法よりも広いクラスのSPARQLおよび結合的クエリの最適化を可能にし、終了認識の複雑性を増加させない。
• 提案された代数的書き換え規則により、SPARQLにおけるフィルタープushingや否定の簡略化といった実用的最適化手法の実装が可能になった。
• 理論的結果は、依存関係グラフにサイクルを含むような複雑なクエリ構造に対しても、新しい条件下での多項式時間終了性を形式的に証明することで検証された。