摘要
为在广播环境中同时有效支持移动更新事务和移动只读事务,提出一种可在移动客户端同时支持更新事务和只读事务的伪可串行化实时并发控制协议。形式化定义了伪可串行化,证明了伪可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证伪可串行化的充分必要条件。基于时标段排序原理,提出了相应的实时并发控制协议。通过性能评价实验验证了新协议的性能。实验结果表明,新协议可显著改进移动事务的平均响应时间。
Mobile update transactions and mobile read only transactions are supported by a pseudo serializable concurrency control protocol that supports both updates and read-only transactions from clients. The necessary and sufficient conditions are given for pseudo serializability. Pseudo serializability is more relaxed than serializability while protocol is then designed based maintaining data consistency. A on the time interval principle. Experimental results confirm that the protocol significantly improves average response time of mobile transactions.
出处
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2006年第4期551-554,共4页
Journal of Tsinghua University(Science and Technology)
基金
国家自然科学基金资助项目(60221120146)
国家"九七三"重点基础研究基金项目(G1999032704)
中国博士后基金项目(2003034146)
关键词
移动实时数据库
实时数据广播
移动实时事务
实时并发控制
mobile real-time database
real-time data broadcast
mobile real-time transaction
real-time concurrency control