研究課題
グラフ問合せ言語UnQLを拡張し，構造に関する副作用を扱えるようにするための，様々な調査を行った．具体的には，根付きのグラフ構造を対象とし，逆向きエッジやサイクルを表現するための特別なエッジの存在価値について，調査を行った．そのために，データの静的構造とデータを操作するための代数構造が別のものとして設計することを目指した．これは，XPathの設計が，静的には木構造であるがデータを操作する代数構造はグラフを表現しているからである．具体的には，元来順序が定義されていないUnQLが対象とするグラフに順序を導入し，構造再帰を最小限の修正として集合和を連結に，単位元を空集合から空リストにしたもとで，計算の意味を与えた．その結果，ストリーミングデータを表現可能となったが，その一方でオートマトンのε遷移に相当する，εエッジを全て削除することができないことが判明した．また，この拡張によって，文書の目次を作成するような，入力の順序を保持する変換は記述できるが，入力順序を条件とした変換や，順序を変更するような順序に関する副作用は記述できないことも判明した．対象としているグラフ問合せ言語は，双模倣を用いて等価性を定義しており，等価なグラフの演算結果は等価なものになるという，双模倣不変という重要な性質を満たしているが，構造再帰の記述能力を増大させると，双模倣不変を維持することが非常に難しくなってしまうことも判明した．
2: おおむね順調に進展している
グラフ問合せの調査をして，対象となる問合せ言語の候補をしぼりこんだので，おおむね順調に進展している．
当初の計画通り，順序や合流，サイクルに関する副作用が対象言語で記述できるように拡張する予定である．
当初の予定通り，ノートPCの購入と国内外旅費，学術雑誌掲載費に使用する予定である．
すべて 2012 2011
すべて 雑誌論文 (6件) 学会発表 (7件)
Technical Report, Grace Center,National Institute of Informatics（GRACE-TR-2011-07)
巻: 2011-07 ページ: 1～24
GRACE Technical Report (GRACE-TR-2011-06)
巻: 2011-06 ページ: 1～26
Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University
巻: 2011(09) ページ: 1～14
GRACE Technical Report (GRACE-TR-2011-05)
巻: 2011-05 ページ: 1～10
GRACE Technical Report (GRACE-TR-2011-02)
巻: 2011-02 ページ: 1～20
GRACE Technical Report (GRACE-TR-2011-01)
巻: 2011-01 ページ: 1～20
