基于模型检查的XMLSchema特征提取

• 作者: 刘科 吕关锋 廖湖声 杨红丽 高雁飞
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 模型检查 时态逻辑公式 XMLSchema Schema特征
• 年，卷（期）: 2012,（11）
• 页码范围: 160-164
• 分类号: TP391
• 字数: 3244字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2012.11.041

摘要

XQuery用于查询XML文档,对XQuery查询优化有助于提高查询效率,有重要的研究意义.树模式把XQuery表示成树结构的查询,如何基于XMLSchema对树模式进行优化是当前的研究热点,需要利用XMLSchema的一些特征进行树模式优化,因此如何自动提取XMLSchema的特征是需要解决的问题.提出基于模型检查的XMLSchema特征提取方法.首先把XMLSchema转换成Schema图,进而转换成模型检查器NuSMV的输入模型,从而可以对时态逻辑公式表示的XMLSchema特征进行检查,提取的孩子关系以及子孙关系特征可以用于树模式优化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕关锋		7	113	4.0	7.0
2	刘科		3	11	2.0	3.0
3	高雁飞		7	27	4.0	5.0
4	廖湖声		79	473	11.0	18.0
5	杨红丽		20	106	5.0	9.0