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

• 研究課題/領域番号: 20500043
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 国立情報学研究所
• 研究代表者: 加藤 弘之 国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
• 研究期間 (年度): 2008 – 2010
• 研究課題ステータス: 完了 (2010年度)
• 配分額: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円); 2010年度: 650千円 (直接経費: 500千円、間接経費: 150千円); 2009年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2008年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
• キーワード: アルゴリズム / 関数系言語 / 融合変換 / XQuery / データ統合 / 最適化 / XML / 関数型言語 / プログラム変換 / モナド

研究概要

融合変換は冗長な中間結果を削除する手法の一つであり、これまでSQLなどのデータベース問合せ言語に対する最適化手法として用いられてきたが、本手法を用いたXQueryの最適化は未解決である。その理由は、XQueryは文脈を考慮にいれる必要があり、かつ文書順序の保存が要求されるからである。本研究の成果は、我々の知る限り、文脈と文書順序を取り扱った最初のXQuery融合変換を開発した。

研究成果

• [雑誌論文] 順序を考慮にいれたXQueryの融合変換 (2009)
  • 著者名/発表者名: 加藤弘之、日高宗一郎、胡振江、中野圭介、石原靖哲
  • 雑誌名: Webとデータベースに関するフォーラム
  • 査読あり
• [雑誌論文] A Compositional Approach to Bidirectional Model Transformation (2009)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 雑誌名: Proc.of ICSE2009, NIER Track
  • 査読あり
• [雑誌論文] Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store (2009)
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano
  • 雑誌名: ACM SIGPLAN Workshop on Programming Languages Techniques for XML
  • 査読あり
• [雑誌論文] Towards a Compositional Approach to Model Transformation for Software Development (2009)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 雑誌名: Proc.of the 2009 ACM Symposium on Applied Computing ページ: 468-475
  • NAID: 40022047007
  • 査読あり
• [雑誌論文] A Compositional Approach to Bidirectional Model Transformation (2009)
  • 著者名/発表者名: Soichiro Hidaka, et. al.
  • 雑誌名: Proc.of ICSE2009, NIER Track 31
  • 査読あり
• [雑誌論文] 順序を考慮に入れたXQueryの融合変換 (2009)
  • 著者名/発表者名: 加藤弘之, ほか
  • 雑誌名: Webとデータベースに関するフォーラム
  • 査読あり
• [雑誌論文] Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store (2009)
  • 著者名/発表者名: H. Kato, S. Hidaka, Z. Hu, Y. Ishihara, K. Nakano
  • 雑誌名: AGM SIGPLAN Workshop on Programming Languages Techniques for XML, 2009
  • 査読あり
• [雑誌論文] Towards a Compositional Approach to Model Transformation for Software Development (2009)
  • 著者名/発表者名: S. Hidaka, Z. Hu, H. Kato, K. Nakano
  • 雑誌名: Proc. of the 2009 ACM Symposium on Applied Gomputing ページ: 468-475
  • NAID: 40022047007
  • 査読あり
• [雑誌論文] 書き換えに基づく最適化のためのXQueryの相対コストモデル (2008)
  • 著者名/発表者名: 日高宗一郎、加藤弘之、吉川正俊
  • 雑誌名: 電子情報通信学会論文誌 JD91-D ページ: 873-888
  • 査読あり
• [雑誌論文] 書き換えに基づく最適化のためのXQueryの相対コストモデル (2008)
  • 著者名/発表者名: 日高宗一郎, 加藤弘之, 吉川正俊
  • 雑誌名: 電子情報通信学会論文誌 JD91-D ページ: 873-888
  • 査読あり
• [雑誌論文] Context-preserving XQuery Fusion
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • 雑誌名: GRACE Technical Report (GRACE-TR-2010-07) ページ: 1-21
• [雑誌論文] Sound and Complete Validation of Graph Transformations
  • 著者名/発表者名: Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 雑誌名: GRACE Technical Report (GRACE-TR-2010-04) ページ: 1-27
• [雑誌論文] Bidirectionalizing Graph Transformations
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • 雑誌名: GRACE Technical Report (GRACE-TR-2010-06) ページ: 1-17
• [学会発表] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 (2011)
  • 著者名/発表者名: 中野圭介、日高宗一郎、胡振江、加藤弘之
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 北海道、定山渓ビューホテル
  • 年月日: 2011-03-10
• [学会発表] Functional Graph Transformations with Structural Recursion (2011)
  • 著者名/発表者名: Hiroyuki Kato
  • 学会等名: The Fourth DIKU-IST Joint Workshop on Foundations of Software
  • 発表場所: 東京都、浅草ビューホテル
  • 年月日: 2011-01-12
• [学会発表] Toward bidirectionalization of ATL with Ground Tram (2011)
  • 著者名/発表者名: Isao Sasano, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • 学会等名: 4^<th> International Conference on Model Transformation (ICMT2011)
  • 発表場所: Zurich, Switzerland(発表確定)
• [学会発表] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 (2011)
  • 著者名/発表者名: 中野圭介、日高宗一郎、胡振江、加藤弘之
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークッショップ
  • 発表場所: 北海道、定山渓ビューホテル
• [学会発表] Functional Graph Transformations with Structural Recursion (2011)
  • 著者名/発表者名: 加藤弘之
  • 学会等名: The 4^<th> DIKU-IST Joint Workshop on Foundations of Software
  • 発表場所: 東京都、浅草ビューホテル
• [学会発表] Toward bidirectionalization of ATL with Ground Tram (2011)
  • 著者名/発表者名: Isao Sasano, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • 学会等名: 4^<th> International Conference on Model Transformation (ICMT 2011)
  • 発表場所: ETH, Zurich, Switzerland(発表確定)
• [学会発表] Range Analysis of Graph Transformation for Simulation-based Scema (2010)
  • 著者名/発表者名: Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
  • 学会等名: Eighth Asian Symposium on Programming Languages and Systems (APLAS2010)
  • 発表場所: Hengshan Hotel, Shanghai, China(poster)
  • 年月日: 2010-11-30
• [学会発表] Context Preserving XQuery Fusion (2010)
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • 学会等名: Eighth Asian Symposium on Programming Languages and Systems APLAS2010
  • 発表場所: Hengshan Hotel, Shanghai, China
  • 年月日: 2010-11-30
• [学会発表] Towards State-based Interface to a Graph Roundtrip Transformation System GroundTram (2010)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • 学会等名: Eighth Asian Symposium on Programming Languages and Systems(APLAS2010)
  • 発表場所: Hengshan Hotel, Shanghai, China(poster)
  • 年月日: 2010-11-30
• [学会発表] Regular Path Compilation for Graph Updating (2010)
  • 著者名/発表者名: Hiroyuki Kato
  • 学会等名: 1^<st> PKU-NII International Joint Workshop on Advanced Software Engineering
  • 発表場所: Peking University, Beijing, China
  • 年月日: 2010-10-10
• [学会発表] Bidirectionalizing Graph Transformations (2010)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • 学会等名: 15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP2010)
  • 発表場所: Hyatt Regency Inner Harbor, Baltimore, America
  • 年月日: 2010-09-28
• [学会発表] Two Semantics of Updating Graphs in GroundTram (2010)
  • 著者名/発表者名: Hiroyuki Kato
  • 学会等名: 4^<th> International Workshop of Bidirectional Transformation in Architecture-Based Component Composition
  • 発表場所: 神奈川県、箱根パレスホテル
  • 年月日: 2010-03-14
• [学会発表] Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram (poster) (2010)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • 学会等名: 8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
  • 発表場所: Shanghai, China
• [学会発表] Context Preserving XQuery Fusion (2010)
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • 学会等名: 8th Asian Symposium on Programming Languages and Systems (APLAS2010)
  • 発表場所: Shanghai, China
• [学会発表] Range Analysis of Graph Transformation for Simulation-based Schema(poster) (2010)
  • 著者名/発表者名: Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
  • 学会等名: 8th Asian Symposium on Programming Languages and Systems (APLAS2010)
  • 発表場所: Shanghai, China
• [学会発表] Regular Path Compilation for Graph Updating (2010)
  • 著者名/発表者名: 加藤弘之
  • 学会等名: 1^<st> PKU-NII International Joint Workshop on Advanced Software Engineering
  • 発表場所: Beijing, China
• [学会発表] Bidirectionalizing Graph Transformations (2010)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • 学会等名: 15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP2010)
  • 発表場所: Baltimore, USA
• [学会発表] Two Semantics of Updating in GroundTram (2010)
  • 著者名/発表者名: 加藤弘之
  • 学会等名: 4^<th> International Workshop of Bidirectional Transformation in Architecture-Based Component Composition
  • 発表場所: 神奈川、箱根パレスホテル
• [学会発表] An Order-Sensitive XQuery Fusion (2009)
  • 著者名/発表者名: Hiroyuki Kato
  • 学会等名: The Seventh Asian Symposium on Programming Languages and Systems(APLAS 2009)(poster)
  • 発表場所: Seoul National University, Seoul, Korea
  • 年月日: 2009-12-14
• [学会発表] Towards A Context Preserving Fusion in Optimizing Model Transformations (2009)
  • 著者名/発表者名: Hiroyuki Kato
  • 学会等名: 3rd International Workshop of Bidirectional Trans formation in Architecture-Based Component Composition
  • 発表場所: National University of Defense Technology, Changsha, China
  • 年月日: 2009-11-15
• [学会発表] An Order-Sensitive XQuery Fusion (2009)
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • 学会等名: The 7^<th> Asian Symposium on Programming Languages and Systems (APLAS2009) (poster)
  • 発表場所: Seoul, Korea
• [学会発表] Towards A Context Preserving Fusion in Optimizing Model Transformations (2009)
  • 著者名/発表者名: 加藤弘之
  • 学会等名: 3^<rd> International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
  • 発表場所: Changsha, China
• [学会発表] An XQuery Fusion with Preserving Document Order (2009)
  • 著者名/発表者名: 加藤弘之
  • 学会等名: 日本ソフトウェア科学会第26回大会
  • 発表場所: 島根大学
• [学会発表] Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store (2009)
  • 著者名/発表者名: 加藤弘之
  • 学会等名: 6^<th> Asian Workshop on Foundations of Software
  • 発表場所: 東京都、学術総合センター
• [学会発表] Introduction to UnQL+ (2008)
  • 著者名/発表者名: 加藤弘之
  • 学会等名: GRACE International Meeting on Bidirectional Transformations
  • 発表場所: 神奈川、湘南国際センター
• [学会発表] Introduction to UnQL+ (2008)
  • 著者名/発表者名: Hiroyuki Kato
  • 学会等名: GRACE Inteinational Meeting on Bidirectional Transformations
  • 発表場所: (神奈川)Shonan Village Center
• [備考] ホームページ等
• [備考] 以下のURLではプロトタイプ実装を公開している。
  • URL: http://www.biglab.org/fusion/