支持移动更新的弱可串行化实时并发控制  

An efficient concurrency control protocol supporting mobile update transactions in broadcast environments

作　　者：党德鹏[1] 周明全[1] 周立柱[2] 刘云生[3] 

机构地区：[1]北京师范大学信息科学与技术学院,北京100875 [2]清华大学计算机科学与技术系,北京100084 [3]华中科技大学计算机科学与技术学院,湖北武汉430074

出　　处：《华中科技大学学报（自然科学版）》2006年第9期4-6,共3页Journal of Huazhong University of Science and Technology(Natural Science Edition)

基　　金：中国博士后科学基金资助项目(2003034146);国家自然科学基金资助项目(60221120146);国家重点基础研究发展计划资助项目(G1999032704)

摘　　要：研究了非对称通信数据广播环境中的一致性问题,提出使用弱可串行化正确性准则.形式化定义了弱可串行化这种新的正确性准则,证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证弱可串行化的充分必要条件.基于时标段排序原理,提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC-MUR.通过性能评价实验验证了新协议的有效性:WBCC-MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求.The consistency of mobiledatabase systems in asymmetrical communication data broadcast environments was studied. Conventional serializability concurrency control protocols are not used in mobile broadcast environments due to a number of constraints of wireless communications. It is proposed that a weaker correctness criterion called weakened serializability be used. A new protocol for processing both read-only and update mobile transactions on mobile clients was designed. The simulation results confirm that the proposed protocol could improve average response time of mobile transactions significantly.

关 键 词：移动实时数据库 实时数据广播 移动实时事务 实时并发控制 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]