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

• 作者: 廖湖声 李小青
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 可扩展标记语言(XML) 树模式 XML树模式描述语言(XTPL) 指称语义 树模式提取
• 年，卷（期）: 2013,（5）
• 页码范围: 431-441
• 分类号: TP311
• 字数: 6768字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1209007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖湖声	北京工业大学计算机学院	79	473	11.0	18.0
2	李小青	北京工业大学计算机学院	7	35	4.0	5.0