XML树模式查询的描述语言及形式语义*

摘要：

作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义.针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性.同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法.

关键词：可扩展标记语言(XML)、树模式、XML树模式描述语言(XTPL)、指称语义、树模式提取

分类号：TP311(计算技术、计算机技术)

在线出版日期：2013-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：431-441