タイトル | 書き換えに基づく最適化のためのXQueryの相対コストモデル |
著者名 | 日高 宗一郎, 加藤 弘之, 吉川 正俊 |
概要 | XQueryはXMLに対する関数型の問合せ言語である. 本論文では,ソースレベル変換の過程での性能利得を見積もることができるXQuery向けコストモデルを提案する. 本研究の目的は,様々な書き換え手法を実エンジンを導入することなしに評価することを容易にする ことである. コストモデルは言語の持つ関数型の構造に従った単純な再帰関数で構成される. それ等は形式的意味論や良く知られた効率的なアルゴリズムを参考に決定している. 変換の前後の式のコストの解析的な比較がエンジンに依らず可能となっている. モデルの相対性により,解釈不要の成分を許容することができ, また,その部分はコスト比較の形式的な証明の妨げにもならない. さらに,必要であれば被演算数の評価順等のエンジン固有の評価戦略を 反映させるように改変することも可能となっている. |
言語 | 日本語 |
公開日 | 2008年2月26日 |
ページ数 | 24頁 |
PDFファイル | 08-003J.pdf |