摘要
ε-可串行化、Δ-可串行化、准一致性可串行化等现有面向事务的放松可串行化正确性准则虽能帮助更多无线通信事务满足其截止期要求,但会导致数据的受限不一致。该文针对移动实时环境和应用,形式化定义并分析了ε-可串行化和ψ-可串行化2种新的面向用户的并发控制策略,它们都比冲突可串行化宽松,但都能始终保证移动用户读取数据的一致性。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第22期4-6,共3页
Computer Engineering
基金
国家"十一五"科技支撑计划基金资助项目(2006BAK01A07)
中国博士后科学基金资助项目(2003034146)
北京师范大学青年基金资助项目
关键词
面向用户
移动实时数据库
移动实时事务
并发控制
可串行化
user-oriented
mobile real-time database
mobile real-time transactions
concurrency control
serializability
