广播环境中伪可串行化实时并发控制协议

Pseudo serializable real-time concurrency control protocol in wireless broadcast environments

为在广播环境中同时有效支持移动更新事务和移动只读事务,提出一种可在移动客户端同时支持更新事务和只读事务的伪可串行化实时并发控制协议。形式化定义了伪可串行化,证明了伪可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证伪可串行化的充分必要条件。基于时标段排序原理,提出了相应的实时并发控制协议。通过性能评价实验验证了新协议的性能。实验结果表明,新协议可显著改进移动事务的平均响应时间。

Mobile update transactions and mobile read only transactions are supported by a pseudo serializable concurrency control protocol that supports both updates and read-only transactions from clients. The necessary and sufficient conditions are given for pseudo serializability. Pseudo serializability is more relaxed than serializability while protocol is then designed based maintaining data consistency. A on the time interval principle. Experimental results confirm that the protocol significantly improves average response time of mobile transactions.