摘要： 考虑到诸如带宽、移动性、频繁断接等限制，传统可串行化并发控制协议显得过于严格而无法满足移动实时数据库环境的要求。该文首先形式化定义并分析了弱可串行化正确性准则，弱可串行化比传统冲突可串行化宽松且能始终保证数据库的一致性。进而给出了一种适宜于移动实时数据库的弱可串行化并发控制协议WMHP-2PL。最后性能实验证实了新协议的有效性。

关键词: 移动实时数据库；移动实时并发控制；移动实时事务

Abstract: 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.

Key words: Mobile real-time database; Mobile real-time concurrency control; Mobile real-time transaction