[論文レビュー] HepToX: Heterogeneous Peer to Peer XML Databases

Angela Bonifati, Elaine Chang+2 more|ArXiv.org|Jun 1, 2005

Peer-to-Peer Network Technologies参考文献 20被引用数 14

ひとこと要約

HepToXは、視覚的アノテーション（矢印とボックス）から推論される直感的なスキーママッピングを介して、異種のピアがデータを共有できる、ピアツーピアXMLデータベースシステムを導入する。XQueryのサブセットに対して正しい、効率的なクエリ翻訳アルゴリズムを提案し、大規模なP2Pテストベッド上で実験的に検証され、動的環境下でもスケーラビリティと低い翻訳オーバーヘッドを示した。

ABSTRACT

We study a collection of heterogeneous XML databases maintaining similar and related information, exchanging data via a peer to peer overlay network. In this setting, a mediated global schema is unrealistic. Yet, users/applications wish to query the databases via one peer using its schema. We have recently developed HepToX, a P2P Heterogeneous XML database system. A key idea is that whenever a peer enters the system, it establishes an acquaintance with a small number of peer databases, possibly with different schema. The peer administrator provides correspondences between the local schema and the acquaintance schema using an informal and intuitive notation of arrows and boxes. We develop a novel algorithm that infers a set of precise mapping rules between the schemas from these visual annotations. We pin down a semantics of query translation given such mapping rules, and present a novel query translation algorithm for a simple but expressive fragment of XQuery, that employs the mapping rules in either direction. We show the translation algorithm is correct. Finally, we demonstrate the utility and scalability of our ideas and algorithms with a detailed set of experiments on top of the Emulab, a large scale P2P network emulation testbed.

研究の動機と目的

• グローバルなメディエイトスキーマが不実用なピアツーピア（P2P）環境において、異種XMLデータベースを照合する課題に対処すること。
• 管理者が複雑な形式言語ではなく、直感的な視覚的アノテーション（矢印とボックス）を用いてスキーマ対応を指定できるように、軽量なピア統合を可能にすること。
• これらの視覚的アノテーションから正確なDatalogに類似したマッピング規則を自動的に推論するアルゴリズムを開発し、正確なクエリ翻訳を支援すること。
• 異種ピア間でのクエリ評価のための形式的意味論を確立し、翻訳プロセスの正しさを保証すること。
• 動的クエリワークロード下で、実世界のP2Pエミュレーション環境（Emulab）において、システムのスケーラビリティとパフォーマンスを実証すること。

提案手法

• ピアのDTD間の視覚的スキーマ対応（矢印とボックス）を用いて、要素や属性間の非形式的マッピングを表現する。
• これらの視覚的アノテーションを形式的Datalogに類似したマッピング規則に変換する、新しい推論アルゴリズムを適用する。
• データ交換に基づくクエリ評価の意味論を定義し、翻訳されたクエリが異種スキーマ間で意図された意味を保持することを保証する。
• 両方向のクエリ翻訳アルゴリズムを実装し、推論されたマッピング規則を活用してXQueryフラグメントを双方向（ソースからターゲット、または逆方向）に翻訳する。
• Emulabテストベッドを用いて、大規模かつ動的ネットワーク状態を模擬するP2Pアーキテクチャに翻訳エンジンを統合する。
• 累積的な回答到着プロットとクエリ完了率を測定し、翻訳時間とローカルクエリ処理のオーバーヘッドを分離して評価する。

実験結果

リサーチクエスチョン

• RQ1 異種XMLデータベース間のスキーママッピングを、複雑な形式的記法を避ける軽量で直感的な方法でどのように指定できるか？
• RQ2 視覚的アノテーション（矢印とボックス）を、正確で実行可能なマッピング規則に体系的に変換できるか？
• RQ3 グローバルスキーマのない、異種ピアのネットワークにおいて、クエリを評価する正しいかつ効率的な意味論は何か？
• RQ4 大規模なP2P環境において、クエリ翻訳のオーバーヘッドは全体のシステムパフォーマンスにどのように影響するか？
• RQ5 動的ピア参加と並列クエリワークロード下で、システムのスケーラビリティはどの程度達成できるか？

主な発見

• システムは視覚的スキーマアノテーションから正確なDatalogに類似したマッピング規則を効果的に推論し、形式的スキーマ定義を必要とせずに正確なクエリ翻訳を可能にした。
• 並列クエリワークロード下でも、クエリ翻訳時間は低く、ローカルクエリ処理時間に比べて無視できるほどであった。
• P2Pネットワーク内では、回答の到着が予測可能なバーストパターンに従い、大規模システムにおける期待される挙動と整合的であった。
• 累積的な回答到着プロット（図12の下部）は、システムがピア全体にわたって高い完全性とタイムリーな応答分布を達成していることを示した。
• Emulab実験において、動的ピアの参加・退出下でもシステムはスケーラビリティと頑健性を示し、パフォーマンス劣化は最小限に抑えられた。
• クエリ翻訳アルゴリズムは、定義された意味論に関して形式的に正しく証明されており、スキーマの異種性にかかわらず意味の正確性が保証された。