Derivation and update of XML schemas using conceptual model and query set

• Project/Area Number: 22700099
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Media informatics/Database
• Research Institution: Nara Institute of Science and Technology
• Principal Investigator: HASHIMOTO Kenji 奈良先端科学技術大学院大学, 情報科学研究科, 助教 (90548447)
• Project Period (FY): 2010 – 2012
• Project Status: Completed (Fiscal Year 2012)
• Budget Amount: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000); Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2011: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
• Keywords: XML / 文書変換 / 情報保存 / 問合せ保存 / 木変換器 / スキーマ

Research Abstract

This research aims to propose a framework for XML schema update and XML document transformation considering information preservation. Wefocused on query preservation, which is a formalization of information preservation. We showed that, for some transformation and query classes modeled by tree transducers and tree automata, the problem of deciding the query preservation is decidable and a query that works directly over the transformed data can be constructed.

Research Products

• [Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers (2013)
  • Author(s): Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, and Toru Fujiwara
  • Organizer: Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA 2013)
  • Place of Presentation: Bilbao, Spain
  • Year and Date: 2013-04-02
• [Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers (2013)
  • Author(s): Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, and Toru Fujiwara
  • Organizer: 第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) カテゴリ 2
  • Place of Presentation: 福島
  • Year and Date: 2013-03-04
• [Presentation] 決定性線形下降木変換器における頂点問合せ保存 (2012)
  • Author(s): 宮原一喜, 橋本健二, 関浩之
  • Organizer: 電子情報通信学会技術研究報告
  • Place of Presentation: 広島
  • Year and Date: 2012-11-01
• [Presentation] 決定性線形トップダウン木変換器における問合せ保存の決定可能性 (2012)
  • Author(s): 澤田龍太, 橋本健二, 石原靖哲, 藤原融
  • Organizer: 電子情報通信学会技術研究報告
  • Place of Presentation: 沖縄
  • Year and Date: 2012-03-14
• [Presentation] 決定性線形トップダウン木変換器における問合せ保存の決定可能性 (2012)
  • Author(s): 澤田龍太、橋本健二、石原靖哲、藤原融
  • Organizer: ソフトウェアサイエンス研究会
  • Place of Presentation: てんぶす那覇(沖縄県)
  • Year and Date: 2012-03-13
• [Presentation] The Validity Problem of Positive XPath Queries in the Presence of DTDs (2010)
  • Author(s): Kenji Hashimoto
  • Organizer: ソフトウェアサイエンス研究会
  • Place of Presentation: ホテル天坊(群馬県)
  • Year and Date: 2010-12-15
• [Presentation] 決定性線形下降木変換器における頂点問合せ保存
  • Author(s): 宮原 一喜, 橋本 健二, 関 浩之
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 広島市立大学
• [Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers
  • Author(s): Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, and Toru Fujiwara
  • Organizer: 7th International Conference on Language and Automata Theory and Applications
  • Place of Presentation: Spain, Bilbao