| 研究課題/領域番号 |
17700041
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 国立情報学研究所 |
|---|
研究代表者 |
日高 宗一郎 国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
|
|---|
| 研究期間 (年度) |
2005 – 2007
|
| 研究課題ステータス |
完了 (2007年度)
|
| 配分額 *注記 |
2,800千円 (直接経費: 2,800千円)
2007年度: 800千円 (直接経費: 800千円)
2006年度: 600千円 (直接経費: 600千円)
2005年度: 1,400千円 (直接経費: 1,400千円)
|
|---|
| キーワード | 問い合わせ処理 / 関数型言語 / 並列性 / 副作用 |
|---|
| 研究概要 |
本年度は以下の各項目に取り組んだ。
1. データモデルの再構築について、兄弟方向成分のコンストラクタおよび演算子の、並列処理に適した再定義をstructural recursion on unionとして行い、関数型プログラミング上の簡単なプロトタイプとして実装した。親子成分を併せた再帰処理の例としてdescendant軸が表現出来ることを示すことが出来た。
2. コストモデルに関しては、実環境を用いたモデルの評価を行った。並列処理の効果に繋げることは出来なかったが、4種類の実エンジンを用いて、経路式やエレメント構築のコストに着目したマイクロベンチマーク等を行った。これ等は電子情報通信学会論文誌およびNIIテクニカルレポート上で公表している。
3. 更新を考慮した言語仕様については、データベースプログラミングに関する国際会議DBPLに参加し、WWWの標準の代案となる、最適化に適した意味論についての講演を聴講するなど、調査を行った。初版の言語仕様に続き策定が始まっている後続の仕様であるXQuery Update Facility1.0についても調査を行った。更新の結果がPending Update Listという形式で明確に分離されている等、更新の影響の扱いが容易になるような念入りな設計がなされていることが分かった。
4. 最適化に相応しい意味論の部分的な提案を行った。データモデルへの更新のコストが軽減されるような形式的意味論を、既存の意味論への小さな変更という形で示し、既存研究との関係を踏まえて、国際会議ISITC2007で発表を行った。
|
