A Context-Preserving Fusion Transformation for a Graph Query Language used in Data Integration

• Project/Area Number: 23500055
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Software
• Research Institution: National Institute of Informatics
• Principal Investigator: KATO Hiroyuki 国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
• Project Period (FY): 2011-04-28 – 2015-03-31
• Project Status: Completed (Fiscal Year 2014)
• Budget Amount: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000); Fiscal Year 2013: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
• Keywords: 関数型言語 / 融合変換 / 副作用 / XQuery / 最適化 / 問合せ最適化 / アルゴリズム / グラフ問合せ

Outline of Final Research Achievements

In this research, context-preserving fusion has been developed. So far, fusion transformation works only for side-effect free languages. However, XQuery, which is a query language to XML data, has a side-effect when it is typically used in data integration settings. Most of real world entities can be represented in graph structures. XQuery can handle graph structures. In this work, a sound context-preserving XQuery fusion has been developed. Also, the class of the queries and the schema has been investigated to show the completeness of the fusion.

Research Products

• [Journal Article] Context-Preserving XQuery Fusion (2014)
  • Author(s): Hiroyuki Kato, Soichiro HIdaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • Journal Title: Mathematical Structure in Computer Science (MSCS) Volume: 未定
  • Peer Reviewed
• [Journal Article] Optimization for iterative queries on MapReduce (2013)
  • Author(s): 鬼塚真、加藤弘之、日高宗一郎、中野圭介、胡振江
  • Journal Title: Proceedings of the VLDB Endowment (PVLDB) Volume: 7(4) Pages: 241-252
  • Peer Reviewed
• [Journal Article] GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (2013)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • Journal Title: Progress in Informatics, Special Issue: Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs Volume: 10 Pages: 131-148
  • Peer Reviewed
• [Journal Article] Parameterized Graph Transformation Languages with Monads (2012)
  • Author(s): Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato Zhenjiang Hu and Keisuke Nakano
  • Journal Title: GRACE Technical Report (GRACE-TR-2012-07) Volume: 2012-07 Pages: 3-23
• [Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 (2012)
  • Author(s): 中野圭介，日高宗一郎，胡振江，稲葉一浩，加藤弘之，
  • Journal Title: コンピューターソフトウェア Volume: 29(2) Pages: 174-192
  • NAID: 130004549266
  • Peer Reviewed
• [Journal Article] Towards Bidirectional Transformations on Ordered Graphs (2011)
  • Author(s): Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu
  • Journal Title: Technical Report, Grace Center,National Institute of Informatics（GRACE-TR-2011-07) Volume: 2011-07 Pages: 1-24
• [Journal Article] Marker-directed Optimization of UnCAL Graph Transformations (revised version) (2011)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
  • Journal Title: GRACE Technical Report (GRACE-TR-2011-06) Volume: 2011-06 Pages: 1-26
• [Journal Article] blinkit: Maintaining Invariant Traceability through Bidirectional Transformations - A Technical Report (2011)
  • Author(s): Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, and Lionel Montrieux
  • Journal Title: Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University Volume: 2011(09) Pages: 1-14
• [Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (2011)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • Journal Title: GRACE Technical Report (GRACE-TR-2011-05) Volume: 2011-05 Pages: 1-10
• [Journal Article] Marker-directed Optimization of UnCAL Graph Transformations (2011)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
  • Journal Title: GRACE Technical Report (GRACE-TR-2011-02) Volume: 2011-02 Pages: 1-20
• [Journal Article] Simulation-based Graph Schema for View Updatability Checking of Graph Queries (2011)
  • Author(s): Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
  • Journal Title: GRACE Technical Report (GRACE-TR-2011-01) Volume: 2011-01 Pages: 1-20
• [Presentation] (発表確定)blinkit: Maintaining Invariant Traceability through Bidirectional Transformations (2012)
  • Author(s): Yijun Yu, Yu Lin,Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
  • Organizer: 34th International Conference on Software Engineering (ICSE 2012)
  • Place of Presentation: The Kongresshaus, Zurich, Switzerland
• [Presentation] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (2011)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano
  • Organizer: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
  • Place of Presentation: The Oread, Lawrence, U.S.A
• [Presentation] Incremental Graph View Maintenance (2011)
  • Author(s): Hiroyuki Kato
  • Organizer: 2nd NII-PKU International Joint Workshop on Advanced Software Engineering
  • Place of Presentation: ラフォーレ強羅、 神奈川県
• [Presentation] GRoundTramによるATLの双方向化の実現 (2011)
  • Author(s): 篠埜 功 胡 振江 日高 宗一郎 稲葉 一浩 加藤 弘之 中野 圭介
  • Organizer: 日本ソフトウェア科学会第28回大会
  • Place of Presentation: 沖縄産業支援センター、 沖縄県
• [Presentation] 漸進的グラフビュー維持の枠組みの提案 (2011)
  • Author(s): 加藤弘之 鬼塚真 日高宗一郎 中野圭介 胡振江
  • Organizer: 日本ソフトウェア科学会第28回大会
  • Place of Presentation: 沖縄産業支援センター、沖縄県
• [Presentation] Graph-transformation verification using monadic second-order logic (2011)
  • Author(s): Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • Organizer: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
  • Place of Presentation: University of Southern Denmark, Odense, Denmark
• [Presentation] Marker-directed Optimization of UnCAL Graph Transformations (2011)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
  • Organizer: 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) (also accepted as formal proceedings paper as LNCS vol. 7225)
  • Place of Presentation: University of Southern Denmark, Odense, Denmark
• [Presentation] Structural Recursion for Querying Ordered Graphs
  • Author(s): 日高宗一郎、浅田和之、胡振江、加藤弘之、中野圭介
  • Organizer: 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
  • Place of Presentation: Hilton Boston logan Airport Hotel, Boston, USA
• [Presentation] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches
  • Author(s): 浅田和之、日高宗一郎、加藤弘之、胡振江、中野圭介
  • Organizer: 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
  • Place of Presentation: Computer Science Faculty of the Complutense University of Madrid,Spain
• [Presentation] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches
  • Author(s): 浅田和之、日高宗一郎、加藤弘之、胡振江、中野圭介
  • Organizer: 日本ソフトウェア科学会第30回大会
  • Place of Presentation: 東京大学本郷キャンパス,東京都
• [Presentation] An Experimental Implementation of Self-adjusting Bidirectional Transformations
  • Author(s): Vo Huu-Phuc、加藤弘之、日高宗一郎、胡振江
  • Organizer: 日本ソフトウェア科学会第30回大会
  • Place of Presentation: 東京大学本郷キャンパス,東京都
• [Presentation] Query Reformulation in XML Data Integration Systems
  • Author(s): 加藤弘之
  • Organizer: 3rd Asian Workshop on Advanced Software Engineering
  • Place of Presentation: Temasek Labs in National University of Singapore, Singapore
• [Presentation] Structural Recursion for Querying Ordered Graphs
  • Author(s): Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • Organizer: 第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
  • Place of Presentation: 御宿東鳳,福島県
• [Presentation] Structural Recursion for Querying Ordered Graphs
  • Author(s): Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • Organizer: 第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013), カテゴリ1
  • Place of Presentation: 御宿 東鳳 （福島県）
• [Presentation] Structural Recursion on Ordered Graphs
  • Author(s): Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
  • Organizer: 日本ソフトウェア科学会第29回大会
  • Place of Presentation: 法政大学小金井キャンパス（東京都）