|
副作用のない純粋な関数型言語の分野で開発された、プログラム変換技術の一つである「融合変換」に、副作用を有する言語に適用可能なものに拡張するためのアルゴリズムを与えた。特にデータモデルとしてグラフ構造を対象とした言語を用いる。グラフ構造は、現実世界の実体を直接かつ自然に表現できるデータ構造であるからである。研究代表者が既に開発した木構造を対象とした副作用を有する言語であるXQueryはグラフ構造も扱うことができるため、この言語に対する健全な融合変換を与えた。また、完全性を示すためのスキーマのクラスと問合せ言語のクラスを示した。
|
