面向用户的移动实时事务并发控制策略  

User-oriented Concurrency Control Policies for Mobile Real-time Transactions

作　　者：党德鹏[1,2] 刘云生[3] 

机构地区：[1]北京师范大学信息科学与技术学院,北京100875 [2]清华大学计算机科学与技术系,北京100084 [3]华中科技大学计算机学院,武汉430074

出　　处：《计算机工程》2008年第22期4-6,共3页Computer Engineering

基　　金：国家"十一五"科技支撑计划基金资助项目(2006BAK01A07);中国博士后科学基金资助项目(2003034146);北京师范大学青年基金资助项目

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

关 键 词：面向用户 移动实时数据库 移动实时事务 并发控制 可串行化 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]