@article{oai:repository.nii.ac.jp:00001241, author = {日高, 宗一郎 and Hidaka, Soichiro and 加藤, 弘之 and Kato, Hiroyuki and 吉川, 正俊 and Yoshikawa, Masatoshi}, journal = {NIIテクニカル・レポート, NII Technical Report}, month = {Feb}, note = {XQueryはXMLに対する関数型の問合せ言語である. 本論文では,ソースレベル変換の過程での性能利得を見積もることができるXQuery向けコストモデルを提案する. 本研究の目的は,様々な書き換え手法を実エンジンを導入することなしに評価することを容易にする ことである. コストモデルは言語の持つ関数型の構造に従った単純な再帰関数で構成される. それ等は形式的意味論や良く知られた効率的なアルゴリズムを参考に決定している. 変換の前後の式のコストの解析的な比較がエンジンに依らず可能となっている. モデルの相対性により,解釈不要の成分を許容することができ, また,その部分はコスト比較の形式的な証明の妨げにもならない. さらに,必要であれば被演算数の評価順等のエンジン固有の評価戦略を 反映させるように改変することも可能となっている., XQuery is a functional query language for XML. We propose a relative XQuery cost model that is able to estimate the performance gain during source level transformation. This research facilitates the evaluation of various rewriting techniques without introducing real engines. The cost model consists of simple recursive functions based on functional language constructs. They are determined using formal semantics and other known efficient algorithms. Analytic comparison of costs between expressions before and after transformation is possible in an engine-independent manner. The relativity of the model allows uninterpreted components within, which do not affect the mathematical proof of the comparison. Moreover, it can be tailored to reflect engine specific evaluation strategies such as the order of evaluation of operands.}, pages = {1--24}, title = {NIIテクニカル・レポート (NII-2008-003J):書き換えに基づく最適化のためのXQueryの相対コストモデル}, year = {2008} }