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

摘要：

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

关键词： XML 树模式 XTPL 指称语义 树模式提取

作者: 廖湖声 李小青

作者单位: 北京工业大学 计算机学院,北京市 100124

会议类型: 国内会议

会议名称: 第十一届全国软件与应用学术会议(NASAC2012)

会议地点: 南京

会议语种:中文

页码: 1-12

在线出版日期: 2012-10-20（万方平台首次上网日期，不代表论文的发表时间）