【摘要】 ε-可串行化、Δ-可串行化、准一致性可串行化等现有面向事务的放松可串行化正确性准则虽能帮助更多无线通信事务满足其截止期要求,但会导致数据的受限不一致。该文针对移动实时环境和应用,形式化定义并分析了ε-可串行化和ψ-可串行化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.更多还原