摘要
研究了非对称通信数据广播环境中的一致性问题,提出使用弱可串行化正确性准则.形式化定义了弱可串行化这种新的正确性准则,证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证弱可串行化的充分必要条件.基于时标段排序原理,提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议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.
出处
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2006年第9期4-6,共3页
Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金
中国博士后科学基金资助项目(2003034146)
国家自然科学基金资助项目(60221120146)
国家重点基础研究发展计划资助项目(G1999032704)
关键词
移动实时数据库
实时数据广播
移动实时事务
实时并发控制
mobile real-time database
real-time data broadcast
mobile real-time transaction
realtime concurrency control
