10.3969/j.issn.1000-386x.2017.03.008
基于模型检查的XML树模式优化动作生成
针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法.该方法提出了统一的优化规则描述语言ORS的语法与语义.ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作.根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作.该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性.
树模式优化、ORS、XML、Shema、模型检查
34
TP391(计算技术、计算机技术)
2017-05-08（万方平台首次上网日期，不代表论文的发表时间）
共9页
45-53
