基于模型检查的XML树模式优化动作生成

• 作者: 刘科 廖湖声 杨红丽 赵瑞芳
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 树模式优化 ORS XML Shema 模型检查
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 数据工程
• 页码范围: 45-53
• 页数: 9页
• 分类号: TP391
• 字数: 8683字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2017.03.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘科		3	11	2.0	3.0
2	廖湖声		79	473	11.0	18.0
3	杨红丽		20	106	5.0	9.0
4	赵瑞芳		1	3	1.0	1.0