论文部分内容阅读
研究了非对称通信数据广播环境中的一致性问题，提出使用弱可串行化正确性准则．形式化定义了弱可串行化这种新的正确性准则，证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性，给出了保证弱可串行化的充分必要条件．基于时标段排序原理，提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC—MUR．通过性能评价实验验证了新协议的有效性：WBCC—MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求．