原创力文档- 5
- 0
- 约3.4万字
- 约 9页
- 2017-10-03 发布于境外
- 举报
第卷第期计算机应用与软件年月基于模型检查的树模式优化动作生成赵瑞芳刘科杨红丽廖湖声北京工业大学北京摘要针对数据查询的核心操作树模式查询提出基于约束来优化树模式查询的方法该方法提出了统一的优化规则描述语言的语法与语义描述的优化规则中包括对树模式条件的描述对条件的描述以及在满足前两个条件下应该输出的动作根据语言描述的优化规则以及待处理的树模式系统会自动输出该树模式的优化动作该方法一方面简化了树模式优化的过程另一方面把模型检查技术运用到树模式查询优化上利用时态逻辑公式描述优化规则中的约束条件利用模型检
第３４卷第３期 计算机应用与软件 Ｖｏｌ３４Ｎｏ．３
２０１７年３月 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｍａｒ．２０１７
基于模型检查的ＸＭＬ树模式优化动作生成
赵瑞芳 刘 科 杨红丽 廖湖声
（北京工业大学 北京 １００１２４
文档评论（0）