论文部分内容阅读
移动计算技术的出现为人们随时随地访问资源提供了可能。但是由于移动环境具有通信带宽窄、网络频繁断接、移动设备资源有限等特点,给数据访问带来了挑战。缓存技术的出现减轻了服务器负担,同时降低了网络上的通信流量以及客户端的查询响应时间,成为了解决远程数据访问的有效途径。语义缓存是一种新的缓存技术,它在客户端缓存以往查询的结果以及结果所对应的语义描述,客户端可以根据缓存的语义描述进行推理,从而能够提前判断查询是否可以在本地完全或部分解答,并且可以通过查询裁剪,将查询分成可以在本地进行查询的部分(试探查询)和需要发往服务器进行查询的部分(剩余查询),进而实现了查询的并行处理。XML数据可以存储半结构化和非结构化数据,具有很大的灵活性,并且,XML是自描述的,使得复杂数据的表达变得容易,可以方便的用来描述数据的语义信息。因此,XML技术可以很好的应用到语义缓存的缓存组织上。
在研究了语义缓存的关键技术之后,本文做出了以下创新性工作:首先,提出了一种更加实用的语义缓存存储模型一动态语义缓存存储模型,并给出了其基于XML的缓存构造;然后,给出了一个合取谓词的求补公式,用于生成剩余查询的计算过程。最后,提出了一个改进的并行查询裁剪算法,并且在理论上证明了它的高效性和正确性。
本次课题在研究的基础上编码实现了一个原型系统,并且在论文的最后进行了实验,通过实验数据分析,验证了本文提出的改进的并行查询裁剪算法的高效性。