摘要: -可串行化、 可串行化、准一致性可串行化等现有面向事务的放松可串行化正确性准则虽能帮助更多无线通信事务满足其截止期要求,但会导致数据的受限不一致。该文针对移动实时环境和应用,形式化定义并分析了 可串行化和 可串行化2种新的面向用户的并发控制策略,它们都比冲突可串行化宽松,但都能始终保证移动用户读取数据的一致性。
关键词:
面向用户,
移动实时数据库,
移动实时事务,
并发控制,
可串行化
Abstract: All the transaction-oriented policies of relaxing serializability such as epsilon serializability and similarity serializability and quasi consistent serializability can result in bounded inconsistency of data. After discussing transaction-oriented conflict serializability, user-oriented policies serializability and -serializability are presented. Formal definitions are given and the necessary and sufficient conditions are proved. Although they are more relaxing than traditional serializability, consistency of a mobile real-time database read by users is maintained.
Key words:
user-oriented,
mobile real-time database,
mobile real-time transactions,
concurrency control,
serializability
中图分类号:
党德鹏;刘云生. 面向用户的移动实时事务并发控制策略[J]. 计算机工程, 2008, 34(22): 4-6.
DANG De-peng; LIU Yun-sheng. User-oriented Concurrency Control Policies for Mobile Real-time Transactions[J]. Computer Engineering, 2008, 34(22): 4-6.