北京市自然科学基金(4082003)
- 作品数:13 被引量:32H指数:3
- 相关作者:廖湖声陈荣鑫陈维斌苏航杨惠荣更多>>
- 相关机构:北京工业大学华侨大学集美大学更多>>
- 发文基金:北京市自然科学基金福建省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- XQuery实现技术研究综述被引量:3
- 2012年
- XML数据的广泛应用,使得高性能的XQuery实现成为XML数据处理领域的重要课题,但XQuery的灵活性和复杂性为其实现技术研究提出了巨大挑战。XQuery语言的高性能实现需要利用XML查询代数提供的查询优化方法,也需要采取高效的树模式整体匹配算法。给出了XQuery语言实现的基础架构,探讨了原生XML数据库系统中XQuery实现的关键技术——查询代数和树模式查询的国内外研究现状,展望了未来的研究方向及面临的挑战。
- 李小青廖湖声张晓博
- 关键词:XMLXQUERY语言查询代数
- M^2:一种有效的XPath求值方法被引量:2
- 2011年
- XPath求值性能极大关系到XML应用程序的整体性能。提出的M2(Matrix Match)方法基于节点关系矩阵查询。根据XML区间编码构建关系矩阵,通过查询原语序列的执行实现XPath表达式求值。M2的导航式特点使得XPath的各种查询语义容易实现,包括反向轴操作和以谓词表达的分支查询。对应相同XML数据的关系矩阵可以被不同查询复用。关系构建和查询求值的过程中,基于循环的处理方式适合并行化优化。与现有XPath求值性能的比较结果表明,M2是一种有效的求值方法。
- 陈荣鑫廖湖声陈维斌叶文来
- 关键词:XML编码关系矩阵
- 面向构件的动态配置中间件
- 提出了一种面向构件的动态配置中间件,设计并实现了一组满足系统一致性的动态配置算法,并将该中间件应用于一个空间数据集成系统。针对基于构件开发的系统,利用该中间件能够根据配置请求,在系统运行期间完成构件之间连接关系的动态调整...
- 吴波廖湖声
- XQuery物化视图增量更新系统框架的研究被引量:2
- 2011年
- 在Web应用中,以XML为格式的信息查询通常会受到网络传输速度有限等因素的影响。为了减少XML的物化视图与其数据源之间的一致性维护中所需的网络数据传输开销,提出了一种面向远程的XML物化视图增量维护方法和系统框架。这种方法根据多用户的查询请求和数据源更新信息,生成视图维护程序代码,以程序代码的网络迁移代替XML视图的重复查询,有效地减少了网络数据传输量。介绍了物化视图增量维护的基本原理、系统框架以及设计实现思路。最后通过性能测试,说明这种增量维护系统能够有效地减少传输开销。
- 彭蕾廖湖声金雪云
- 关键词:XML物化视图XQUERY
- 基于XQA查询代数的去除相关性方法
- 2009年
- 介绍了一种用于支持复杂XML数据查询优化的XML查询代数XQA以及用于实现XQuery语言的中间语言FXQL,进而提出了一种基于XQA代数的去除相关性方法(de-correlation),通过查询重写引入连接运算的方法,使得人们有可能更多地利用高性能的连接算法来提高查询效率.在扩展了广义表结构的XDM数据模型的基础上,这种查询重写通过FXQL语言的程序变换方法来实现,易于与各种函数式语言编译优化技术相互结合.实验结果证明了该方法的有效性.
- 廖湖声汤林
- 关键词:可扩展标记语言查询语言查询代数
- 分形计算的并行设计及TBB实现被引量:2
- 2011年
- 线程构建模块(TBB)基于模板的特点简化了并行化设计,适合高效地实现多核并行设计。针对分形计算具有计算密集和高耗时的特点,结合TBB并行化设计,以充分利用多核计算资源。对影响并行性能的计算负载不平衡问题,提出了基于采样估算的平衡优化方法,通过采样执行时间来估算工作负载,据此进行均衡的任务划分,利用TBB任务调度实现并行处理。实验结果表明,采样估算精度高,耗时比率低,能有效实现负载均衡;基于TBB的实现可获得较好加速比。
- 陈荣鑫陈维斌廖湖声
- 关键词:多核并行负载平衡
- XML函数依赖研究综述被引量:2
- 2014年
- 函数依赖作为数据库规范化的基础在关系理论中起着重要的作用。近年来,XML得到广泛应用并已成为互联网上数据传输和交换的标准。由于XML半结构化的特性,使得如何定义XML函数依赖使其具有更强的描述能力,以及如何解决相应的逻辑蕴涵问题成为当今学术界所面临的挑战。针对这些问题,系统地描述了目前关于XML函数依赖的研究现状,特别是把分析的重点放在如何定义函数依赖、判断其蕴涵关系以及从XML文档中发现函数依赖等问题上。最后讨论了诸如类型化函数依赖关系等一些相关的研究方向。
- 刘嘉廖湖声
- 关键词:XML函数依赖逻辑蕴涵
- XQuery语言部分求值技术与实现被引量:1
- 2009年
- 介绍了XQuery语言的一种部分求值技术及其实现方法,为XQuery语言的实现与应用提供了一种新的程序优化技术.这种离线式部分求值可以大致分为2个阶段:预处理阶段和例化处理阶段.其中,预处理阶段通过引用敏感性分析和绑定时间分析来分析参变量在程序中的传播和运算过程,为处理阶段例化处理设定作用范围;例化处理阶段完成程序的自动例化,生成滞留程序且提供了编译时和运行时2种例化方式的支持.基于以上技术研制的一个XQuery部分求值原型系统已经实现,通过对若干XQuery查询案例进行测试,结果表明,经过XQuery部分求值技术处理后能够有效地提高其查询的执行效率.
- 苏航廖湖声
- 关键词:部分求值XQUERY
- 基于模型检查的XML Schema特征提取被引量:5
- 2012年
- XQuery用于查询XML文档,对XQuery查询优化有助于提高查询效率,有重要的研究意义。树模式把XQuery表示成树结构的查询,如何基于XML Schema对树模式进行优化是当前的研究热点,需要利用XML Schema的一些特征进行树模式优化,因此如何自动提取XML Schema的特征是需要解决的问题。提出基于模型检查的XML Schema特征提取方法。首先把XML Schema转换成Schema图,进而转换成模型检查器NuSMV的输入模型,从而可以对时态逻辑公式表示的XML Schema特征进行检查,提取的孩子关系以及子孙关系特征可以用于树模式优化。
- 刘科杨红丽廖湖声吕关锋高雁飞
- 关键词:XMLSCHEMA
- XQuery语言Hotspot编译系统的支撑框架被引量:1
- 2011年
- 设计并实现XQuery语言Hotspot编译系统的支撑框架,通过对XQuery程序进行Hotspot分析,将执行频率高的程序模块编译为Java字节码,以提高程序执行效率。实验结果证明,Hotspot编译系统在执行效率上相比解释系统有一定提高,与静态编译系统相比,能更有效地处理网络上动态生成的XQuery查询。
- 张开练廖湖声苏航
- 关键词:可扩展标记语言XQUERY语言JAVA字节码