Indexed by：
Abstract：
针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法.该方法提出了统一的优化规则描述语言ORS的语法与语义.ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作.根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作.该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机应用与软件
ISSN： 1000-386X
Year： 2017
Issue： 3
Volume： 34
Page： 45-53
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 3
Chinese Cited Count：
30 Days PV： 10
Affiliated Colleges：
