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），我们的模式匹配算法避免了基于Brzozozowski衍生物与自上而下的，Tree，Tree Matching的brzozozozowski衍生物，避免了冗余计算。至于（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