Abstract：
作为XML 数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++提出一种树模式描述语言XTPL,采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于XML 查询正确性的验证,以及查询处理方法的可靠性和鲁棒性的提高。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。
Keyword：
Reprint Author's Address：
Email：
Source ：
Year： 2012
Page： 1-12
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： -1
Chinese Cited Count：
30 Days PV： 8
Affiliated Colleges：
