xmlschema特征提取算法

twig模式最小化作为xml查询优化的一个重要方面,由于在进行最小化的过程中通常要利用xmlschema中的约束信息,因此被称为schema特征。为了简化运用传统方法提取schema特征的过程,以及确保提取过程的正确性,提出了一种自动提取schema特征的模型检查算法。在schema的形式模型的基础上,利用扩展的ctl公式表示schema特征,提出算法以检查schema模型是否满足要求的特征。由于扩展了ctl公式,所提算法不但可以检查孩子、子孙等前向的schema特征,而且可以检查双亲、祖先等后向特征。最后,实现了支持该算法的模型检查器。