李小青 作品数:5 被引量:6 H指数:2 供职机构: 北京工业大学计算机学院 更多>> 发文基金: 北京市自然科学基金 更多>> 相关领域: 自动化与计算机技术 更多>>
XML树模式查询的描述语言及形式语义 作为XML 数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++提出一种树模式描述语言XTPL,采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征... 廖湖声 李小青关键词:XML 指称语义 文献传递 一种面向XQuery语言的多级树模式匹配算法 树模式查询是XML查询的核心操作,经常出现在XPath语言或XQuery语言描述的查询请求中。由于传统树模式描述能力有限,很多由XQuery语言表示的复杂查询请求很难由单一的树模式来描述。本文提出一种面向XQuery语言... Li Xiaoqing 李小青 Liao Husheng 廖湖声关键词:程序语言 信息管理 XML树模式查询的描述语言及形式语义 被引量:3 2013年 作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。 廖湖声 李小青关键词:指称语义 XQuery实现技术研究综述 被引量:3 2012年 XML数据的广泛应用,使得高性能的XQuery实现成为XML数据处理领域的重要课题,但XQuery的灵活性和复杂性为其实现技术研究提出了巨大挑战。XQuery语言的高性能实现需要利用XML查询代数提供的查询优化方法,也需要采取高效的树模式整体匹配算法。给出了XQuery语言实现的基础架构,探讨了原生XML数据库系统中XQuery实现的关键技术——查询代数和树模式查询的国内外研究现状,展望了未来的研究方向及面临的挑战。 李小青 廖湖声 张晓博关键词:XML XQUERY语言 查询代数 一种面向XQuery语言的多级树模式匹配算法 树模式查询是XML查询的核心操作,经常出现在XPath语言或XQuery语言描述的查询请求中.由于传统树模式描述能力有限,很多由XQuery语言表示的复杂查询请求很难由单一的树模式来描述.一种面向XQuery语言的支持多... 李小青 廖湖声关键词:XML XQUERY语言 文献传递