梁茹冰刘琼

(1.华南理工大学计算机科学与工程学院，广东广州510006;2.华南农业大学理学院，广东广州510642)

移动计算使计算机和其它移动信息智能终端设备可以在无线网络环境下实现数据传输及资源共享，并且这种传输与共享可以发生在任何时间、任何位置以及任何移动终端之间.移动计算是当前计算技术研究中的热点之一，对移动计算的研究是游牧计算和普适计算发展的技术支撑和重要阶段.然而，移动计算本身的特点让相关研究工作充满了挑战，如无线网络带宽和电池等资源的有限性、客户端及其设备的频繁移动性和频繁断接性等.在数据通信方面，采用“广播”和“缓存”技术是解决这些难题的有效方法.

文献［1］中提出，语义缓存的基本结构由查询语义描述和查询结果两部分组成，并研究了对单个关系表的查询处理.与传统的页缓存和元组缓存不同，语义缓存能够支持对关系型数据库的查询，而页缓存与元组缓存对此支持不够，只适用于面向对象的数据库管理系统.文献［2］中对移动计算环境中的用户位置、速度、状态，以及位置比较、位置绑定、位置相关查询、语义片段进行了形式化定义，并研究了语义查询的处理过程，提出了查询裁剪的思想.文献［3］中除了进一步利用关系代数形式化相关表达外，还提出了判断当前查询能否被语义缓存满足的3个判定定理;在语义缓存查询裁剪方面，针对5种相交情况给出了具体的……