Integration and Transformation of XML-Documents Based-On Higher-Order Narrowing

基于高阶窄化的XML文档集成与转换

• 批准号: 16500014
• 负责人: OKUI Satoshi
• 金额: $ 1.66万
• 依托单位: Chubu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16500014/
• 关键词: XML; regular expression; pattern matching; term rewriting system; narrowing; higher-order; context; formal grammar; 文法; 高階ナローイング; 不完全正則表現型; XML文書の統合; パターン照合; 項書き換え系; XNL文書の変換; XMLデータの統合; ユニフィケーション

This research offers a new fundamental technique based on higher-order narrowing calculi, aiming to improve the labor of programming concerning XML-document processing considerably. Here, the higher-order narrowing calculi are frameworks for solving symbolic equations containing higher-order variables. Those frameworks are expressive enough for describing contexts of XML-document trees. The main outcomes of our research project are summarized as follows :1. Development of a pattern matching algorithm capable of handling context-capturing,2. Theoretical investigation on the correctness of the algorithm, and3. Referential implementation of the algorithm written by Smalltalk, Ruby, Python, and Java.As for (1), our pattern matching algorithm avoids redundant computation by seamlessly combining incremental type checking based on Brzozowski derivatives with top-down, tree matching. As for (2), we have provided a rigorous proof of the soundness and the completeness of our algorithm. Our experimental implementations can be freely used as open-source software.

这项研究提供了一种基于高阶窄化演算的新基本技术，旨在显着提高 XML 文档处理方面的编程工作量。这里，高阶窄化演算是求解包含高阶变量的符号方程的框架。这些框架的表达能力足以描述 XML 文档树的上下文。我们的研究项目的主要成果概括如下： 1．开发能够处理上下文捕获的模式匹配算法，2。算法正确性的理论考察，3．参考Smalltalk、Ruby、Python和Java编写的算法的实现。对于(1)，我们的模式匹配算法通过将基于Brzozowski导数的增量类型检查与自上而下的树匹配无缝结合起来，避免了冗余计算。对于（2），我们已经提供了算法的合理性和完整性的严格证明。我们的实验实现可以作为开源软件免费使用。

项目成果

A rewrite system with incomplete regular expression type for transformations of XML documents

一种用于 XML 文档转换的不完全正则表达式类型重写系统

• 发表时间: 2005
• 期刊: IPSJ Transactions on Programming, 46,SIG14(PRO-27)
• 作者: Taro Suzuki;Satoshi Okui
• 通讯作者: Satoshi Okui

Brzozowski derivatives and regular tree pattern matching

Brzozowski 导数和正则树模式匹配

• 发表时间: 2006
• 期刊: 情報科学リサーチジャーナル Voll.13
• 作者: Satoshi Okui;Taro Suzuki
• 通讯作者: Taro Suzuki

Pattern Matching of Incompletely RE-Typed Expressions via Transformation IPSJ Transaction on Programming

通过转换进行不完全重新键入表达式的模式匹配 IPSJ Transaction onProgramming

• 发表时间: 2006
• 期刊: IPSJ Transaction on Programming Vol.47
• 作者: Satoshi Okui;Taro Suzuki;K.Yasuda;H.Kutsuna;Satoshi Okui
• 通讯作者: Satoshi Okui

匿名型Peer-to-Peer通信環境における流通情報の信頼度評価に関する人間行動の分析とモデル化

匿名对等通信环境中分布式信息可靠性评估的人类行为分析与建模

• 发表时间: 2004
• 期刊: グループエェアとネットワークサービスワークショップ2004論文集(情報処理学会グループエェアとネットワークサービス研究会)
• 作者: 鈴木裕利;奥居哲;中西真弓;高橋友一
• 通讯作者: 高橋友一

Pattern Matching Incompletely RE-Typed Expressions via Transformation

通过转换模式匹配不完全重新键入的表达式

• 发表时间: 2005
• 期刊: 情報処理学会プログラミング研究会
• 作者: Satoshi Okui;Taro Suzuki
• 通讯作者: Taro Suzuki