Developing query rewriting techniques to resolve XML data integration Problems based on a static analysis.

2010 Fiscal Year Final Research Report

• Project/Area Number: 20500043
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: National Institute of Informatics
• Principal Investigator: KATO Hiroyuki National Institute of Informatics, コンテンツ科学研究系, 助教 (10321580)
• Project Period (FY): 2008 – 2010
• Keywords: アルゴリズム / 関数系言語 / 融合変換 / XQuery / データ統合 / 最適化 / XML

Research Abstract

Fusion is a known technique for eliminating unnecessary intermediate results that are created but then consumed during computation. Being useful for query optimization for many query languages such as SQL, fusion remains as a challenge for XQuery optimization. This is because XQuery has more complicated semantics ; it is context sensitive and requires preservation of document order. In this research, we proposed, as far as we are aware, the first XQuery fusion that can deal with both the document order and the context of XQuery expressions. More specifically, we carefully designed a context representation of XQuery expressions based on the Dewey order encoding, developed a context-preserving XQuery fusion for ordered trees by static emulation of the XML store, and proved that our fusion is correct. Our XQuery fusion has been implemented and successfully applied to the multi-step schema mapping, in which fusion is particularly necessary for reducing execution cost of redundant node creations.

Research Products

• [Journal Article] 順序を考慮にいれたXQueryの融合変換 (2009)
  • Author(s): 加藤弘之、日高宗一郎、胡振江、中野圭介、石原靖哲
  • Journal Title: Webとデータベースに関するフォーラム
  • Peer Reviewed
• [Journal Article] A Compositional Approach to Bidirectional Model Transformation (2009)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • Journal Title: Proc.of ICSE2009, NIER Track
  • Peer Reviewed
• [Journal Article] 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
  • Journal Title: ACM SIGPLAN Workshop on Programming Languages Techniques for XML
  • Peer Reviewed
• [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: Proc.of the 2009 ACM Symposium on Applied Computing Pages: 468-475
  • Peer Reviewed
• [Journal Article] 書き換えに基づく最適化のためのXQueryの相対コストモデル (2008)
  • Author(s): 日高宗一郎、加藤弘之、吉川正俊
  • Journal Title: 電子情報通信学会論文誌 JD91-D Pages: 873-888
  • Peer Reviewed
• [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 (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] Functional Graph Transformations with Structural Recursion (2011)
  • Author(s): 加藤弘之
  • Organizer: The 4^<th> DIKU-IST Joint Workshop on Foundations of Software
  • Place of Presentation: 東京都、浅草ビューホテル
  • Year and Date: 20110110-20110114
• [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] Context Preserving XQuery Fusion (2010)
  • Author(s): Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
  • Organizer: 8th 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: 8th Asian Symposium on Programming Languages and Systems (APLAS2010)
  • Place of Presentation: Shanghai, China
  • Year and Date: 20101128-20101201
• [Presentation] Regular Path Compilation for Graph Updating (2010)
  • Author(s): 加藤弘之
  • 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] Two Semantics of Updating in GroundTram (2010)
  • Author(s): 加藤弘之
  • Organizer: 4^<th> International Workshop of Bidirectional Transformation in Architecture-Based Component Composition
  • Place of Presentation: 神奈川、箱根パレスホテル
  • Year and Date: 20100312-20100314
• [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) (poster)
  • Place of Presentation: Seoul, Korea
  • Year and Date: 20091214-20091216
• [Presentation] Towards A Context Preserving Fusion in Optimizing Model Transformations (2009)
  • Author(s): 加藤弘之
  • Organizer: 3^<rd> International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
  • Place of Presentation: Changsha, China
  • Year and Date: 20091114-20091118
• [Presentation] An XQuery Fusion with Preserving Document Order (2009)
  • Author(s): 加藤弘之
  • Organizer: 日本ソフトウェア科学会第26回大会
  • Place of Presentation: 島根大学
  • Year and Date: 20090916-20090918
• [Presentation] Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store (2009)
  • Author(s): 加藤弘之
  • Organizer: 6^<th> Asian Workshop on Foundations of Software
  • Place of Presentation: 東京都、学術総合センター
  • Year and Date: 20090406-20090408
• [Presentation] Introduction to UnQL+ (2008)
  • Author(s): 加藤弘之
  • Organizer: GRACE International Meeting on Bidirectional Transformations
  • Place of Presentation: 神奈川、湘南国際センター
  • Year and Date: 20081214-20081218
• [Remarks] ホームページ等
• [Remarks] 以下のURLではプロトタイプ実装を公開している。
  • URL: http://www.biglab.org/fusion/