摘要
考虑到诸如带宽、移动性、频繁断接等限制,传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则,弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。
Owing to the unique characteristics of mobile real-time environments, traditional serializability is too strong, This paper presents the use of the relaxed serializability as correctness criterion. After it formally defines and analyzes a new serializability, corresponding concurrency control protocol based on this criterion is outlined for real-time mobile environments. Finally, experimental results show that the proposed protocol helps more mobile real-time transactions to meet their deadlines while database consistency is maintained.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第7期92-93,99,共3页
Computer Engineering
基金
中国博士后基金资助项目(2003034146)
国家自然科学基金资助项目(60221120146)
国家"973"计划基金资助项目(G1999032704)
关键词
移动实时数据库
移动实时并发控制
移动实时事务
Mobile real-time database
Mobile real-time concurrency control
Mobile real-time transaction
