Abstract：
XQuery用于查询XML文档，对XQuery查询优化有助于提高查询效率，有重要的研究意义。树模式把XQuery表示成树结构的查询，如何基于XML Schema对树模式进行优化是当前的研究热点，需要利用XML Schema的一些特征进行树模式优化，因此如何自动提取XML Schema的特征是需要解决的问题。本文提出基于模型检查的XML Schema特征提取方法。具体地，首先把XML Schema转换成Schema图，进而转换成模型检查器NuSMV的输入模型，从而可以对时态逻辑公式表示的XML Schema特征进行检查，提取的孩子关系以及子孙关系特征可以用于树模式优化。
Keyword：
Reprint Author's Address：
Email：
Source ：
Year： 2012
Page： 1-1
Language： Chinese
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 4
Chinese Cited Count：
30 Days PV： 1
Affiliated Colleges：
