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）的查询优化有用，Fusion仍然是XQUERY优化的挑战。这是因为Xquery具有更复杂的语义。它对上下文敏感，需要保存文件顺序。据我们所知，在这项研究中，我们提出了第一个可以处理文档顺序和Xquery表达式上下文的Xquery Fusion。更具体地说，我们仔细设计了基于dewey订单编码的Xquery表达式的上下文表示，通过XML商店的静态仿真为有序树开发了上下文提供Xquery Fusion，并证明了我们的融合是正确的。我们的Xquery Fusion已实施并成功地应用于多步架构映射，其中融合对于降低冗余节点创建的执行成本特别必要。

项目成果

Two Semantics of Updating Graphs in GroundTram

GroundTram 中更新图的两种语义

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

Functional Graph Transformations with Structural Recursion

具有结构递归的函数图转换

• 发表时间: 2011
• 作者: 高田喜朗;関浩之;森田剛正;木村光宏;Hiroyuki Kato
• 通讯作者: Hiroyuki Kato

Towards A Context Preserving Fusion in Optimizing Model Transformations

在优化模型转换中实现上下文保留融合

• 发表时间: 2009
• 作者: 杉田達哉;中道上;青山幹雄;Hiroyuki Kato
• 通讯作者: Hiroyuki Kato

Range Analysis of Graph Transformation for Simulation-based Scema

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

• 发表时间: 2010
• 作者: Keisuke Nakano;Soichiro Hidaka;Zhenjiang Hu;Kazuhiro Inaba;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