%0 Journal Article
%T xmlschema特征提取算法
%A 刘科？
%A 杨红丽？
%A 赵瑞芳？
%A 廖湖声？
%A 陈瑶？
%A 秦胜潮？
%J 计算机科学
%D 2015
%X twig模式最小化作为xml查询优化的一个重要方面,由于在进行最小化的过程中通常要利用xmlschema中的约束信息,因此被称为schema特征。为了简化运用传统方法提取schema特征的过程,以及确保提取过程的正确性,提出了一种自动提取schema特征的模型检查算法。在schema的形式模型的基础上,利用扩展的ctl公式表示schema特征,提出算法以检查schema模型是否满足要求的特征。由于扩展了ctl公式,所提算法不但可以检查孩子、子孙等前向的schema特征,而且可以检查双亲、祖先等后向特征。最后,实现了支持该算法的模型检查器。
%K xmlschema特征
%K 模型检查
%K 时态逻辑
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=201511A103&flag=1