收录：
摘要：
针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法.该方法提出了统一的优化规则描述语言ORS的语法与语义.ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作.根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作.该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性.
关键词：
通讯作者信息：
电子邮件地址：
