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

开发查询重写技术来解决基于静态分析的 XML 数据集成问题。

• 批准号: 20500043
• 负责人: KATO Hiroyuki
• 金额: $ 1.75万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20500043/
• 关键词: アルゴリズム; 関数系言語; 融合変換; XQuery; データ統合; 最適化; XML; 関数型言語; プログラム変換; モナド

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.

融合是一种已知的技术，用于消除在计算期间创建但随后消耗的不必要的中间结果。融合对于许多查询语言（例如 SQL）的查询优化很有用，但它仍然是 XQuery 优化的一个挑战。这是因为 XQuery 的语义比较复杂；它是上下文相关的，需要保留文档顺序。据我们所知，在这项研究中，我们提出了第一个 XQuery 融合，它可以处理 XQuery 表达式的文档顺序和上下文。更具体地说，我们精心设计了基于杜威顺序编码的 XQuery 表达式的上下文表示，通过 XML 存储的静态模拟开发了用于有序树的上下文保留 XQuery 融合，并证明了我们的融合是正确的。我们的XQuery融合已经实现并成功应用于多步模式映射，其中融合对于降低冗余节点创建的执行成本尤为必要。

项目成果

Two Semantics of Updating Graphs in GroundTram

GroundTram 中更新图的两种语义

• 发表时间: 2010
• 作者: 高田喜朗;森田剛正;関浩之;Hiroyuki Kato
• 通讯作者: Hiroyuki Kato

Sound and Complete Validation of Graph Transformations

图转换的健全且完整的验证

• 期刊: GRACE Technical Report (GRACE-TR-2010-04)
• 作者: Kazuhiro Inaba;Soichiro Hidaka;Zhenjiang Hu;Hiroyuki Kato;Keisuke Nakano
• 通讯作者: Keisuke Nakano

Range Analysis of Graph Transformation for Simulation-based Scema

基于仿真的场景图变换的范围分析

• 发表时间: 2010
• 作者: Keisuke Nakano;Soichiro Hidaka;Zhenjiang Hu;Kazuhiro Inaba;Hiroyuki Kato
• 通讯作者: Hiroyuki Kato

An XQuery Fusion with Preserving Document Order

保留文档顺序的 XQuery Fusion

• 发表时间: 2009
• 作者: 田邊隼希;中道上;青山幹雄;加藤弘之;山田進,今村俊幸,町田昌彦;加藤弘之
• 通讯作者: 加藤弘之

A compositional approach to bidirectional model transformation

• DOI: 10.1109/icse-companion.2009.5070990
• 发表时间: 2009-05
• 期刊: 2009 31st International Conference on Software Engineering - Companion Volume
• 作者: S. Hidaka;Zhenjiang Hu;H. Kato;Keisuke Nakano