基于xml schema的模式树查询最小化技术研究-research on schema tree query minimization technology based on xml schema.docxVIP

摘要随着数据库技术的不断发展，查询优化技术已经形成了一个相对成熟的研究领域。 查询优化的目的是为所给定的查询表达式的计算选择一个高效的执行策略。XML 查询优 化涉及多个方面，主要包括逻辑优化和物理优化。逻辑优化通过一系列等价转换规则改 写查询表达式，达到简化查询的调优执行顺序的目的。物理优化通过估计不同执行策略 的代价，找到最优的执行策略。XML 查询执行的效率与查询本身的复杂度和查询的大小 有很大的关系，查询最小化可通过删除冗余部分或者改写来精简 XML 查询语句，降低 查询的大小，从源头上降低查询的大小以及查询的复杂性，为查询的进一步优化打下了 基础。本文主要对 XML 查询最小化的国内外现状进行了分析，基于模式进行了模式树最 小化技术研究：1. 分析了 XML 模式的约束信息，基于{-，？，*，+}约束，研究了三种完整性约 束：准孩子约束、准后裔约束、同步约束，并运用形式化的语言给出了这三种完整性约 束的定义；2. 研究了时间复杂度为 O(n2m2)的结点删除算法，该算法利用三种完整性约束删除模式树中的冗余结点。结点删除算法主程序分为三步，分别实现了：简单叶结点冗余判 断、叶结点冗余判断、非叶结点冗余判断，达到了降低模式树的规模的目的，并研究了 算法正确性的证明过程；3. 在 XML 模式完整性约束的基础上，通过广泛研究查询优化算法，分别给出了准 后裔约束以及同步约束产生算法，对模式扫描过程进行优化。准后裔约束产生算法和同 步约束算法利用了二维表高效的数据结构，成功的减少了对模式的反复遍历，使用扩展 的张氏编码方式对模式进行编码，建立了模式索引结构，减少了对模式的扫描次数。关键词：XML，Schema，模式树，查询最小化ABSTRACTAs the development of database techniques, Query Optimization Technique has become a relatively mature. The purpose of query optimization technique is to choose an efficient executive strategy for the query expression. XML query optimization involves many aspects, including logical optimization and physical optimization. The logical optimization rewrite query expressions through a series of equivalent transformation rules to reach the aim of simplify the execution sequence performance of query. Physical optimization find the optimum execution strategy through estimate the cost of different execution strategies. The execution efficiency of XML query execution depends on the complexity and the size of the query. We could simplify the query language and decrease the size of the query through delete the redundant part or rewrite. Reduce the size of the query and the complexity of the query in the beginning, and lay the foundation of the further optimization about the queries.In this paper, we analyzed the current domestic and foreign research situation about the minimization of XML query.Analysis the constraint information of XML Schema, given quasi-child constraint、 quasi-descendant constraint and sync-constraint based on the constraints of {-，？，*，+