A Study on application of fusion transformation on XML database programming languages

2010 Fiscal Year Final Research Report

• Project/Area Number: 20700035
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Software
• Research Institution: National Institute of Informatics
• Principal Investigator: HIDAKA Soichiro National Institute of Informatics, アーキテクチャ科学研究系, 助教 (70321578)
• Project Period (FY): 2008 – 2010
• Keywords: DBPL / XML / 融合変換

Research Abstract

It is considered to be effective to describe a program in compositional form that combines multiple data transformation in programming languages that manipulates structures such as hierarchies, because it is less efficient than a program in monolithic form since composition results in many intermediate results. The fusion program transformation is known to cope with this issue. In this study, the fusion transformation technique was applied to one of database programming languages, enhanced its applicability, and showed its effectiveness for non-trivial compositional examples.

Research Products

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