XML向けデータベースプログラミング言語への融合変換適用に関する研究

2010 年度 研究成果報告書

• 研究課題/領域番号: 20700035
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 国立情報学研究所
• 研究代表者: 日高 宗一郎 国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
• 研究期間 (年度): 2008 – 2010
• キーワード: DBPL / XML / 融合変換

研究概要

階層などの構造を持つデータを扱うプログラムについて、それを複数のデータ変換の合成として記述することはプログラムの見通しをよくするため有効であるが、このようなプログラムは個々の変換の間に多くの中間データが発生するため一塊として記述する場合に比べ性能が低下してしまう問題がある。これに対し中間データを除去する融合変換が知られており、本研究では構造を持つデータの扱いに適したデータベースプログラミング言語について融合変換を適用し、その適用範囲を拡大し、自明でない合成例について有効性を示した。

研究成果

• [雑誌論文] Context-Preserving Xquery Fusion (2010)
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • 雑誌名: GRACE Technical Report (GRACE-TR-2010-07) ページ: 1-21
• [雑誌論文] Bidirectionalizing Graph Transformations (2010)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • 雑誌名: GRACE Technical Report,(GRACE-TR-2010-06) ページ: 1-17
• [雑誌論文] Complete Validation of Graph Transformations (2010)
  • 著者名/発表者名: Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 雑誌名: GRACE Technical Report (GRACE-TR-2010-04) ページ: 1-27
• [雑誌論文] 順序を考慮に入れたXQueryの融合変換 (2009)
  • 著者名/発表者名: 加藤弘之、日高宗一郎、胡振江、中野圭介、石原靖哲
  • 雑誌名: Webとデータベースに関するフォーラム(WebDB Forum 2009)論文集 ページ: 8
  • 査読あり
• [雑誌論文] An Order-Sensitive Fusionfor Xquery (2009)
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • 雑誌名: GRACE TECHNICAL REPORTS(GRACE-TR-2009-04) ページ: 28
• [雑誌論文] Bidirectionalizing Structural Recursion on Graphs (2009)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • 雑誌名: 日本ソフトウェア科学会第26回大会講演論文集 ページ: 18
• [雑誌論文] An XQuery Fusion with Preserving Document Order (2009)
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • 雑誌名: 日本ソフトウェア科学会第26回大会講演論文集 ページ: 15
• [雑誌論文] Bidirectionalizing Structural Recursion on Graphs (2009)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • 雑誌名: GRACE TECHNICAL REPORTS (GRACE-TR-2009-03) ページ: 41
• [雑誌論文] Towards a Compositional Approach to Model Transformation for Software Development (2009)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 雑誌名: Proceedings of the 2009 ACM symposium on Applied Computing ページ: 468-475
  • 査読あり
• [雑誌論文] A compositional approach to bidirectional model transformation (2009)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 雑誌名: 31st International Conference on Software Engineering, 巻Companion Volume ページ: 235-238
  • 査読あり
• [雑誌論文] Towards Compositional Approach to Model Transformations (2008)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 雑誌名: GRACE TECHNICAL REPORTS (GRACE-TR-2008-02) ページ: 37
• [雑誌論文] An Algebraic Approach to Bidirectional Model Transformations (2008)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 雑誌名: GRACE TECHNICAL REPORTS (GRACE-TR-2008-01) ページ: 14
• [雑誌論文] Towards Compositional Approach to Model Transformations (2008)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 雑誌名: 日本ソフトウェア科学会第25回大会講演論文集 巻(CD-ROM) ページ: 23
• [学会発表] Graph-Transformation Verification using Monadic Second-order Logic (2011)
  • 著者名/発表者名: Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 学会等名: 13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP2011)
  • 発表場所: Odense, Denmark(発表確定)
  • 年月日: 20110720-20110722
• [学会発表] Toward bidirectionalization of ATL with GRoundTRam (2011)
  • 著者名/発表者名: Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • 学会等名: 4^<th> International Conference on Model Transformation (ICMT2011),
  • 発表場所: Zurich, Switzerland(発表確定)
  • 年月日: 20110627-20110628
• [学会発表] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 (2011)
  • 著者名/発表者名: 中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 北海道、定山渓ビューホテル
  • 年月日: 20110309-20110311
• [学会発表] Bidirectionalizing Graph Transformations (2011)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 北海道、定山渓ビューホテル
  • 年月日: 20110309-20110311
• [学会発表] Relationships between BX and View Updates (Proposal and Report) (2011)
  • 著者名/発表者名: Soichiro Hidaka, Working Group
  • 学会等名: Dagstuhl seminar report, Bidirectional Transformations “bx"
  • 発表場所: Dagstuhl, Germany
  • 年月日: 20110116-20110121
• [学会発表] Bidirectional Graph Transformations based on Structural Recursion (2011)
  • 著者名/発表者名: Soichiro Hidaka, Position Statement
  • 学会等名: Dagstuhl seminar report, BidirectionalTransformations “bx"
  • 発表場所: Dagstuhl,Germany
  • 年月日: 20110116-20110121
• [学会発表] Marker-directed optimization of UnCAL graph revisited : Optimizing bidirectional graph transformations (2011)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: The 4th DIKU-ISTJoint Workshop on Foundations of Software
  • 発表場所: 東京、浅草ビューホテル
  • 年月日: 20110110-20110114
• [学会発表] Context-Preserving Xquery Fusion (2010)
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • 学会等名: 8^<th> ASIAN Symposium on Programming Languages and Systems (APLAS2010)
  • 発表場所: Shanghai, China
  • 年月日: 20101128-20101201
• [学会発表] 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
  • 年月日: 20101128-20101201
• [学会発表] Range Analysis of Graph Transformation for Simulation-based Schema (poster) (2010)
  • 著者名/発表者名: Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
  • 学会等名: 8^<th> ASIAN Symposium on Programming Languages and Systems (APLAS2010)
  • 発表場所: Shanghai, China
  • 年月日: 20101128-20101201
• [学会発表] Providing State-based interface to a Graph Roundtrip Transformation System GRoundTram (2010)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: 1^<st> PKU-NII International Joint Workshop on Advanced Software Engineering
  • 発表場所: Beijing, China
  • 年月日: 20101009-20101010
• [学会発表] 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
  • 年月日: 20100927-20100929
• [学会発表] On the traceability in a graph roundtrip transformation system, Workshop on Bidirectional Transformation (BT2010) at GRACE (2010)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: International Symposium on Advanced Software Engineering 2010
  • 発表場所: 東京、学術総合センター
  • 年月日: 20100315-20100317
• [学会発表] A Bidirectional Graph Transformation System Based on Structural Recursion, Workshop on Bidirectional Transformation (BT2010) at GRACE (2010)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, GRoundTram
  • 学会等名: International Symposium on Advanced Software Engineering 2010
  • 発表場所: 東京、学術総合センター
  • 年月日: 20100315-20100317
• [学会発表] 構造的再帰関数に基づく双方向グラフ変換システム (2010)
  • 著者名/発表者名: 日高宗一郎、胡振江、稲葉一浩、加藤弘之、松田一孝、中野圭介、GRoundTram
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 香川県、琴平温泉
  • 年月日: 20100303-20100305
• [学会発表] Sound and Complete Validation of Graph Transformations (2010)
  • 著者名/発表者名: 稲葉一浩、日高宗一郎、胡振江、加藤弘之、中野圭介
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 香川県、琴平温泉
  • 年月日: 20100303-20100305
• [学会発表] A Bidirectional Graph Transformation System based on Structural Recursion (2009)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Ianaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, GroundTram
  • 学会等名: The 7^<th> Asian Symposium on Programming Languages and Systems (APLAS2009)
  • 発表場所: Seoul, Korea
  • 年月日: 20091214-20091216
• [学会発表] 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)
  • 発表場所: Seoul, Korea
  • 年月日: 20091214-20091216
• [学会発表] Design and implementation of the bidirectional interpretation engine in a graph roundtrip transformation system GRoundTram (2009)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: 3^<rd> International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (Bi-Trans in ABC)
  • 発表場所: Changsha, China
  • 年月日: 20091114-20091118
• [学会発表] Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store (2009)
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano
  • 学会等名: 6^<th> Asian Workshop on Foundations of Software (AWFS2009)
  • 発表場所: 東京都、国立情報学研究所
  • 年月日: 20090406-20090408
• [学会発表] Bidirectionalizing Structural Recursive Transformation on Graphs (short presentation of ongoing work) (2009)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 学会等名: 6^<th> Asian Workshop on Foundations of Software (AWFS2009)
  • 発表場所: 東京都、国立情報学研究所
  • 年月日: 20090406-20090408
• [学会発表] 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 Language Techniques for XML
  • 発表場所: Georgia, USA
  • 年月日: 20090121-20090123
• [学会発表] Bidirectional Interpretation of UnCAL Graph Algebra (2009)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: 2^<nd> International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
  • 発表場所: 神奈川、湘南国際村センター
  • 年月日: 20090105-20090107
• [学会発表] Bidirectional graph transformation based on structural recursion (2009)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: The 26^<th> GRACE Seminar on Advanced Software Science and Engineering
  • 発表場所: 東京都、国立情報学研究所(招待講演)
  • 年月日: 2009-10-23
• [学会発表] Bidirectional Graph Transformation using UnCAL (2008)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: GRACE International Meeting on Bidirectional Transformations
  • 発表場所: 神奈川、湘南国際村センター
  • 年月日: 20081215-20081218
• [備考] ホームページ等成果の一部が組み込まれたグラフ変換システムは よりオープンソース形式で公開
  • URL: http://www.biglab.org/