-
题名XML Schema特征提取算法
被引量：1
- 1
-
-
作者
刘科
杨红丽
赵瑞芳
廖湖声
陈瑶
秦胜潮
-
机构
北京工业大学计算机学院
北京工业大学软件学院
提赛德大学计算机学院米德尔斯堡ts
-
出处
《计算机科学》
CSCD
北大核心
2015年第B11期438-443,共6页
-
基金
北京市自然科学基金:面向XQuery语言的树模式查询技术研究(4122011)资助
-
文摘
Twig模式最小化作为XML查询优化的一个重要方面,由于在进行最小化的过程中通常要利用XML Schema中的约束信息,因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过程,以及确保提取过程的正确性,提出了一种自动提取Schema特征的模型检查算法。在Schema的形式模型的基础上,利用扩展的CTL公式表示Schema特征,提出算法以检查Schema模型是否满足要求的特征。由于扩展了CTL公式,所提算法不但可以检查孩子、子孙等前向的Schema特征,而且可以检查双亲、祖先等后向特征。最后,实现了支持该算法的模型检查器。
-
关键词
XML
Schema特征
模型检查
时态逻辑
-
Keywords
XML schema features, Model checking, Temporal logic
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
