| XML Schema特征提取算法 |
| |
| 引用本文： | 刘科,杨红丽,赵瑞芳,廖湖声,陈瑶,秦胜潮.XML Schema特征提取算法[J].计算机科学,2015,42(Z11):438-443. |
| |
| 作者姓名： | 刘科 杨红丽 赵瑞芳 廖湖声 陈瑶 秦胜潮 |
| |
| 作者单位： | 北京工业大学计算机学院 北京100124,北京工业大学计算机学院 北京100124,北京工业大学计算机学院 北京100124,北京工业大学软件学院 北京100124,北京工业大学计算机学院 北京100124,提赛德大学计算机学院 米德尔斯堡TS1 3BA |
| |
| 基金项目： | 本文受北京市自然科学基金:面向XQuery语言的树模式查询技术研究(4122011)资助 |
| |
| 摘 要： | Twig模式最小化作为XML查询优化的一个重要方面,由于在进行最小化的过程中通常要利用XML Schema中的约束信息,因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过程,以及确保提取过程的正确性, 提出了一种自动提取Schema特征的模型检查算法。在Schema的形式模型的基础上,利用扩展的CTL公式表示Schema特征,提出算法以检查Schema模型是否满足要求的特征。由于扩展了CTL公式,所提算法不但可以检查孩子、子孙等前向的Schema特征,而且可以检查双亲、祖先等后向特征。最后,实现了支持该算法的模型检查器。
|
| 关 键 词： | XML Schema特征 模型检查 时态逻辑 |
XML Schema Features Extraction Algorithm |
| |
| LIU Ke,YANG Hong-li,ZHAO Rui-fang,LIAO Hu-sheng,CHEN Yao and QIN Sheng-chao.XML Schema Features Extraction Algorithm[J].Computer Science,2015,42(Z11):438-443. |
| |
| Authors: | LIU Ke YANG Hong-li ZHAO Rui-fang LIAO Hu-sheng CHEN Yao and QIN Sheng-chao |
| |
| Affiliation: | Department of Computer Science,Beijing University of Technology,Beijing 100124,China,Department of Computer Science,Beijing University of Technology,Beijing 100124,China,Department of Computer Science,Beijing University of Technology,Beijing 100124,China,School of Software Engineering,Beijing University of Technology,Beijing 100124,China,Department of Computer Science,Beijing University of Technology,Beijing 100124,China and School of Computer Science,Teesside University,Middlesbrough TS1 3BA,UK |
| |
| Abstract: | |
| |
| Keywords: | XML schema features Model checking Temporal logic |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
