XMLデータ統合問題解決のためのXQueryの静的解析に基づく書き換え手法の開発

2010 Fiscal Year Annual Research Report

• Project/Area Number: 20500043
• Research Institution: National Institute of Informatics
• Principal Investigator: 加藤 弘之 国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
• Keywords: アルゴリズム / 関数型言語 / 融合変換 / XQuery / データ統合 / 最適化 / XML

Research Abstract

平成22年度の研究計画に基づき下記の研究成果を得た。
(1)全ての軸に対する融合変換アルゴリズムの開発
全ての軸に対応するために、式の情報を使うことなく、文脈情報だけを用いたアルゴリズムを開発した。
(2)スキーマを用いたアルゴリズムの開発
スキーマを用いることでエレメント構築子によって新たに構築されるノードだけでなく、入力データベース中のノードに関する文脈情報を得ることができ、これを用いることでアルゴリズムをより一般化することが可能となった。
(3)より応用に近い問合せによる実験
ソフトウェア開発のモデル変換などで用いられているCustomer20rderを用いて書き換えアルゴリズムの効果を示した。
更に、本研究の成果は以下のことについて適用可能であることがわかった。
(A)"unordered mode"での適用
XQueryで順序を考慮に入れない"unordered mode"でも有効に働く。
(B)非決定性問合せ式の検出
間合せ式の非決定性検出は、意図しない結果を含む場合があるので有用である。

Research Products

• [Journal Article] Context-preserving XQuery Fusion
  • Author(s): Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • Journal Title: GRACE Technical Report (GRACE-TR-2010-07) Pages: 1-21
• [Journal Article] Sound and Complete Validation of Graph Transformations
  • Author(s): Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • Journal Title: GRACE Technical Report (GRACE-TR-2010-04) Pages: 1-27
• [Journal Article] Bidirectionalizing Graph Transformations
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • Journal Title: GRACE Technical Report (GRACE-TR-2010-06) Pages: 1-17
• [Presentation] Toward bidirectionalization of ATL with Ground Tram (2011)
  • Author(s): Isao Sasano, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • Organizer: 4^<th> International Conference on Model Transformation (ICMT 2011)
  • Place of Presentation: ETH, Zurich, Switzerland(発表確定)
  • Year and Date: 20110600
• [Presentation] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 (2011)
  • Author(s): 中野圭介、日高宗一郎、胡振江、加藤弘之
  • Organizer: 第13回プログラミングおよびプログラミング言語ワークショップ
  • Place of Presentation: 北海道、定山渓ビューホテル
  • Year and Date: 2011-03-10
• [Presentation] Functional Graph Transformations with Structural Recursion (2011)
  • Author(s): Hiroyuki Kato
  • Organizer: The Fourth DIKU-IST Joint Workshop on Foundations of Software
  • Place of Presentation: 東京都、浅草ビューホテル
  • Year and Date: 2011-01-12
• [Presentation] Range Analysis of Graph Transformation for Simulation-based Scema (2010)
  • Author(s): Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
  • Organizer: Eighth Asian Symposium on Programming Languages and Systems (APLAS2010)
  • Place of Presentation: Hengshan Hotel, Shanghai, China(poster)
  • Year and Date: 2010-11-30
• [Presentation] Context Preserving XQuery Fusion (2010)
  • Author(s): Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • Organizer: Eighth Asian Symposium on Programming Languages and Systems APLAS2010
  • Place of Presentation: Hengshan Hotel, Shanghai, China
  • Year and Date: 2010-11-30
• [Presentation] Towards State-based Interface to a Graph Roundtrip Transformation System GroundTram (2010)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • Organizer: Eighth Asian Symposium on Programming Languages and Systems(APLAS2010)
  • Place of Presentation: Hengshan Hotel, Shanghai, China(poster)
  • Year and Date: 2010-11-30
• [Presentation] Regular Path Compilation for Graph Updating (2010)
  • Author(s): Hiroyuki Kato
  • Organizer: 1^<st> PKU-NII International Joint Workshop on Advanced Software Engineering
  • Place of Presentation: Peking University, Beijing, China
  • Year and Date: 2010-10-10
• [Presentation] Bidirectionalizing Graph Transformations (2010)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • Organizer: 15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP2010)
  • Place of Presentation: Hyatt Regency Inner Harbor, Baltimore, America
  • Year and Date: 2010-09-28