|
|||||
|
|
| 基于模型检查的XMLSchema特征提取 | |
| 引用本文： | 刘科,杨红丽,廖湖声,吕关锋,高雁飞.基于模型检查的XMLSchema特征提取[J].计算机应用与软件,2012(11). |
| 作者姓名： | 刘科 杨红丽 廖湖声 吕关锋 高雁飞 |
| 作者单位： | 1. 北京工业大学 北京100124 2. 北京建筑工程学院 北京100044 |
| 摘 要： | XQuery用于查询XML文档,对XQuery查询优化有助于提高查询效率,有重要的研究意义.树模式把XQuery表示成树结构的查询,如何基于XMLSchema对树模式进行优化是当前的研究热点,需要利用XMLSchema的一些特征进行树模式优化,因此如何自动提取XMLSchema的特征是需要解决的问题.提出基于模型检查的XMLSchema特征提取方法.首先把XMLSchema转换成Schema图,进而转换成模型检查器NuSMV的输入模型,从而可以对时态逻辑公式表示的XMLSchema特征进行检查,提取的孩子关系以及子孙关系特征可以用于树模式优化. |
| 关 键 词： | 模型检查 时态逻辑公式 XMLSchema Schema特征 |
| 本文献已被 万方数据 等数据库收录！ | |
