副作用を考慮した関数型問い合わせ言語の並列性に関する研究

考虑副作用的函数式查询语言并行性研究

• 批准号: 17700041
• 负责人: 日高 宗一郎
• 金额: $ 1.79万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17700041/
• 关键词: 問い合わせ処理; 関数型言語; 並列性; 副作用

本年度は以下の各項目に取り組んだ。1. データモデルの再構築について、兄弟方向成分のコンストラクタおよび演算子の、並列処理に適した再定義をstructural recursion on unionとして行い、関数型プログラミング上の簡単なプロトタイプとして実装した。親子成分を併せた再帰処理の例としてdescendant軸が表現出来ることを示すことが出来た。2. コストモデルに関しては、実環境を用いたモデルの評価を行った。並列処理の効果に繋げることは出来なかったが、4種類の実エンジンを用いて、経路式やエレメント構築のコストに着目したマイクロベンチマーク等を行った。これ等は電子情報通信学会論文誌およびNIIテクニカルレポート上で公表している。3. 更新を考慮した言語仕様については、データベースプログラミングに関する国際会議DBPLに参加し、WWWの標準の代案となる、最適化に適した意味論についての講演を聴講するなど、調査を行った。初版の言語仕様に続き策定が始まっている後続の仕様であるXQuery Update Facility1.0についても調査を行った。更新の結果がPending Update Listという形式で明確に分離されている等、更新の影響の扱いが容易になるような念入りな設計がなされていることが分かった。4. 最適化に相応しい意味論の部分的な提案を行った。データモデルへの更新のコストが軽減されるような形式的意味論を、既存の意味論への小さな変更という形で示し、既存研究との関係を踏まえて、国際会議ISITC2007で発表を行った。

This year, for each item に below に, take the group んだ. 1. デ ー タ モ デ ル の to construct に つ い て, brother direction component の コ ン ス ト ラ ク タ お よ の び play operator, tied for 処 に optimum し た redefinition を structural recursion on union と し て line い type, the number of masato プ ロ グ ラ ミ ン グ の on Jane 単 な プ ロ ト タ イ プ と し て be loaded し た. Parent-child composition を and せ た again 帰 処 Richard の example と し て descendant axis が show る こ と を shown す こ と が た. 2. Youdaoplaceholder0 コストモデ に に is related to て て, and the actual environment を is evaluated by 価を たモデ を. Parallel 処 Richard の unseen fruit に 繋 げ る こ と は out な か っ た が, 4 species の be エ ン ジ ン を with い て, 経 road や エ レ メ ン ト build の コ ス ト に with mesh し た マ イ ク ロ ベ ン チ マ ー ク を line such as っ た. こ れ は such as electronic intelligence communication research volunteers お よ び NII テ ク ニ カ ル レ ポ ー ト で on male table し て い る. 3. Update を consider し た words shi others に つ い て は, デ ー タ ベ ー ス プ ロ グ ラ ミ ン グ に masato す る international conference on DBPL に し and WWW の standard の generation case と な る, optimization に optimum し た mean theory に つ い て の speech を 聴 speak す る な ど line, investigate を っ た. Shi) の words others に 続 き draw up が beginning ま っ て い る after 続 の shi others で あ る XQuery Update Facility1.0 に つ い て も survey line を っ た. Update の results が Pending the Update List と い う form で clear separation に さ れ て い る influences, Update の の Cha い が easy に な る よ う な read into り な design が な さ れ て い る こ と が points か っ た. 4. The optimization of the に phase 応 応 に implies the な proposal を line った of the <s:1> part of the theory. デ ー タ モ デ ル へ の update の コ ス ト が 軽 minus さ れ る よ う な を means in the form of theory, theory of existing の mean へ の small さ な - more と い う form で し, existing research と の masato is を tread ま え て, international conference ISITC2007 で 発 table line を っ た.

项目成果

A Relative Cost Model for XQuery

XQuery 的相对成本模型

• 发表时间: 2007
• 期刊: Proc. the 22nd Annual ACM Symposium on Applied Computing (SAC 2007)
• 作者: Soichiro Hidaka;Soichiro Hidaka
• 通讯作者: Soichiro Hidaka

書き換えに基づく最適化のためのXQueryの相対コストモデル

用于基于重写的优化的 XQuery 相对成本模型

• 发表时间: 2008
• 期刊: NIIテクニカル・レポート NII-2008-003J
• 作者: 横田隆史;大津金光;馬場敬信;日高 宗一郎;日高 宗一郎
• 通讯作者: 日高 宗一郎

A More Optimizer-friendly Treatment of XQuery Store in the Presence of Side-Effects

在存在副作用的情况下对 XQuery 存储进行更优化器友好的处理

• 发表时间: 2007
• 期刊: Proc. of the International Symposium on Information Technology Convergence(ISITC 2007)
• 作者: Soichiro Hidaka

書換えに基づく最適化のためのXQueryの相対コストモデル

用于基于重写的优化的 XQuery 相对成本模型

• 发表时间: 2008
• 期刊: 電子情報通信学会論文誌 J91-D
• 作者: 横田隆史;大津金光;馬場敬信;日高 宗一郎
• 通讯作者: 日高 宗一郎

XQuery Equalities and Cost Model

XQuery 等式和成本模型

• 发表时间: 2005
• 期刊: Proceedings of The 4th Workshop on Programmable Structured Documents
• 作者: Hidaka;S
• 通讯作者: S