active xml数据管理基础问题研究 word格式.docx

能重写判定算法，给出了算法的正确性证明:在 ADTA 机的基础上，定义 了 ADTA 机补自动机，提出了多项式时间复杂度的 AXML 文档安全重写判 定算法，给出了算法的正确性证明:然后，定义了用于描述 AXML 模式的 ASTAr 机 (AXML Schema Tree Automata for Rewriting)，给出了 ASTAr 机构造 算法，ASTAr 机定义了所有符合给定 AXML 模式约束的 AXML 文档集合: 最后，通过分析 AXML 模式包含与模式重写的关系，基于 ASTAr 机，提出 了多项式时间复杂度的 AXML 模式重写判定算法，分析了算法的正确性和有 效性。第 二 ， 研 究 了 模 式 约 束 下 的 AXML 文 档 树 模 式 查 询 可 满 足 性 问 题 。AXML 文 档 查 询 可 满 足 性 问 题 是 指 判 定 符 合 给 定 模 式 约 束 的 AXML 文档是否满足给定查询表达式。首先，给出了 AXML 文档查询可满足性的 形式化定义:然后，定义了用于抽象 AXML 模式的 ASTAq 机 (AXML Schema Tree Automata for Queries)，用于描述符合给定 AXML 模式约束的文档集合， 定义了抽象树模式查询的 TPQA 机 (Tree Pattern Query Automata)，TPQA 机描 述了包含满足给定树模式查询表达式路径的文档集合:最后，基于 ASTAq 机 和 TPQA 机，针对 XPath 树模式查询片段 {“/，//，[ ]”}，提出了一种多项式 时间的 AXML 文档查询可满足性检验算法，分析了算法的正确性和有效性。第三，研究了 AXML 文档有效性检验问题。AXML 文档有效性检验问 题是指给定 AXML 文档及其服务调用规范，检验文档是否符合目标模式。 定 义 了 用 于 抽 象 AXML 模 式 的 ASTAv 机 (AXML Schema Tree Automata for Validation)，该树自动机描述符合目标模式约束的文档集合，能够完成对给 定文档当前状态的有效性检验:基于 ASTAv 机，通过分析服务规范与目标模 式之间的关系，提出了一种多项式时间的 AXML 文档有效性检验算法，分析 了算法的正确性和有效性。关键词 分布式数据管理:XML:Active XML:Web 服务:树自动机AbstractThe presentation of Active XML(AXML for short) addresses the problems of heterogeneity, interoperability and autonomy occurring in data management at the scale of the Web and becomes a new powerful tool for distributed data management. An AXML document is an XML document where some of the data is given explicitly while other parts are defined only intentionally by means of embedded calls to Web services. When one of these calls is invoked, its results will be returned to enrich the original document.The problem of AXML data management consists of the following problems: (1)AXML Data exchange is the main application and the sender must decide whether the given AXML document can be rewritten into a new one conforming to the garget schema by invoking the embedded service calls, which introduced schema rewriting; (2)The applications sometimes may consider whether all the documents conforming to the original schema can be rewritten to the target schema, name