面向对象程序设计语言的绑定时间分析技术

为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.     

基于LRS与GDF的移动对象轨迹建模及索引*

针对当前基于受限网络的移动对象管理研究中道路网模型简单,以及以空间平面坐标表达移动对象位置的方法不适合于道路网应用的问题,采用交通应用中流行的GDF路网模型并结合线性参考系统设计了一种针对道路网络的移动对象索引模型。与FNRtree及相关改进的索引方法相比,该方法在移动对象位置更新及添加上有更高的效率,在相关查询上结果更加合理。     

XML函数依赖研究综述

函数依赖作为数据库规范化的基础在关系理论中起着重要的作用。近年来，XML得到广泛应用并已成为互联网上数据传输和交换的标准。由于XML半结构化的特性，使得如何定义XML函数依赖使其具有更强的描述能力，以及如何解决相应的逻辑蕴涵问题成为当今学术界所面临的挑战。针对这些问题，系统地描述了目前关于XML函数依赖的研究现状，特别是把分析的重点放在如何定义函数依赖、判断其蕴涵关系以及从XML文档中发现函数依赖等问题上。最后讨论了诸如类型化函数依赖关系等一些相关的研究方向。     

SDB:一个面向分布式GIS的空间数据库

SDB是一个面向分布式地理信息系统的空间数据库系统.该系统采用软件组件模型,符合OpenGIS规范,具有互操作性,支持数据共享和功能共享,能够用于GIS软件的集成,支持面向因特网的组件化GIS软件的开发.     

为FoxPro系统扩充位图处理功能的方法

本文提出了利用ＦｏｘＰｒｏ和Ｃ语言程序的接口扩充ＦｏｘＰｒｏ位图功能的方法，在Ｗｉｎｄｏｗｓ环境下实现了一组位图接口函数来扩充Ｆｏｘ－ＰｒｏＷ系统。这种技术可用在ＦｏｘＰｒｏ其它功能的扩充     

基于列表的可扩展标记语言流数据查询处理方法

针对半结构化可扩展标记语言(XML)流数据实时在线到达,顺序性一次访问及处理时效性高、缓存量小的需求,以及目前算法在大规模数据处理中查询表达式的能力有限、效率尚不能满足实际应用的现状,基于SAX解析,提出以列表及关系指针组合处理XPath查询的QXSList方法。首先定义数据模型,给出算法实现的整体框架,然后分别针对两个不同的XPath查询片段重点考虑了谓词判断条件和通配符的处理方法;该方法通过层次值计算判断节点的结构关系,利用关系指针链接多个候选节点列表,获取查询查询结果;最后分析给出优化算法,进一步减少缓存管理。通过实验对该方法与QStream++方法及MonetDB和SAXON查询引擎的运行时间和内存占比进行分析,得出与同类算法相比,随着数据量级的增加,效率提升在30%以上,且运行过程中内存占比接近于常量。     

基于程序流程图的数据例化与程序例化

提出了一基于程序流程图的部分求值方法,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化,能够在例化阶段进行程序基本块例化的同时,完成控制转移的优化,并生成既可用于编译时刻例化,又可用于运行时刻例化的滞留程序,基于这种方式的部分求值系统采用离线工作方式,利用了绑定时间分析,提高了滞留程序的效率,同时避免了例化阶段的代码复制与拼接,有效地简化了运行时刻例化系统的实现难度。     

An action analysis for combining partial evaluation

This paper proposes an action analysis for implementing combing partial evaluation efficiently.By analyzing the results of binding time analysis.Operations,which should be used in the combining partial evaluation.are determined in advance,so that the computation in the combination of specialized programs is reduced effectively.     

XQuery语言的部分求值技术的研究

部分求值作为一种新型的软件自动化技术,在程序优化中起着重要的作用.本文介绍了一种针对xQuery语言进行部分求值的实现技术,即部分求值技术中的绑定时间分析的方法和滞留程序生成的方法.     

基于下推转换机的XML流数据处理方法

XML流数据在互联网领域有着广阔的应用,海量流数据的高性能处理与查询需求的多样性给对XML流数据的查询处理技术提出了更高的要求,针对XML流数据上的XPath查询,以下推转换机（Pushdown Transducer）为基础,提出一种新的查询处理方法。该方法支持包含PC轴、AD轴同时包含多重存在谓词、值谓词和嵌套谓词的XPath查询,覆盖XPath查询的核心部分。该方法能够满足用户复杂的查询需求,同时具有较高的性能。