|
カジュアルな問合せの変換後の問合せとしてXQueryを選択し、その最適化手法として今年度行った研究やその結果生じた成果は次の通りである。
1.XQueryの中で我々の最適化手法が適用可能な箇所を形式的に特定するCore XQuery(CXQuery)を再帰的に定義
2.CXQueryのコストモデルをXQueryの形式的意味に基づき定義
3.経路式中の冗長なエレメントコンストラクタの削減による最適化手法「経路式の畳み込み」を帰納原理として定義。これは、従来の、コンストラクタにコピーを要請しない言語ではコストが定数であったが、XQueryのエレメントコンストラクタではコピーが必要であるため、帰納原理においてはエレメントコンストラクタ内のデータの大きさに対して線形のコスト削減となる。問合せ全体としては、与えられた問合せ式の再帰定義に依存するがかなりのコスト削減となることがわかった。
4.3で定義した「経路式の畳み込み」をXQueryの代表的な式であるFLWOR式の全てに適用するために、FLWOR式を意味が等価でかつ、2で定義したコストよりも悪くない式への変換規則である「FLWOR Arranging」を定義。
5.3、4で開発した最適化手法を一つのアルゴリズムにマージするとともにその健全性と停止性をXQueryの形式的意味に基づき証明した。
6.実証実験としてルーセントテクノロジーで開発されたXQueryエンジン「Galax」を用いて上記で開発した最適化手法の有効性を確かめた。
|
