计算机应用与软件2017，Vol.34Issue(3)：45-53,9.DOI:10.3969/j.issn.1000-386x.2017.03.008
基于模型检查的XML树模式优化动作生成
XML TREE MODEL OPTIMIZATION OPERATION GENERATING BASED ON MODEL CHECKING
摘要
Abstract
For the core operation of XML data query, tree model query, a general method based on the constraints in XML Schema is proposed.This method presents a unified optimization rule to describe the syntax and semantic of the language ORS.The optimization rule of describing ORS includes the description of the tree model condition, the description of XML Schema condition and the action that should be output when meet the first two conditions.According to the optimization rules describing ORS and the tree model to be processed, the system will output the optimized actions automatically.On the one hand, this method simplifies the process of optimizing the cutting process of tree model.On the other hand, model checking technique is applied to the XML tree model query optimization.The constraint conditions of the optimization rules are described by the temporal logic formula.Using the model checking algorithm to extract the constraints of XML Schema, and the strict syntax and semantics definition of ORS ensures the correctness of the generated optimal actions.关键词
树模式优化/ORS/XML/Shema/模型检查Key words
Tree model optimization/ORS/XML schema/Model checking分类
信息技术与安全科学引用本文复制引用
赵瑞芳,刘科,杨红丽,廖湖声..基于模型检查的XML树模式优化动作生成[J].计算机应用与软件,2017,34(3):45-53,9.
