|
|||||
|
|
| 基于模型检查的XML树模式优化动作生成 | |
| 作者单位： | ;1.北京工业大学 |
| 摘 要： | 针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法。该方法提出了统一的优化规则描述语言ORS的语法与语义。ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作。根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作。该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性。 |
| 关 键 词： | 树模式优化 ORS XML Shema 模型检查 |
XML TREE MODEL OPTIMIZATION OPERATION GENERATING BASED ON MODEL CHECKING |
|
| Abstract: | |
| Keywords: | |
