论文部分内容阅读
考虑到移动计算环境的诸多限制以及移动数据库应用的特征，传统冲突可串行化在不对称通信的数据广播环境中显得过于严格而不必要。为此，文中提出一种并行亚可串行化并发控制协议．首先，形式化定义亚可串行化正确性准则，证明亚可串行化虽然比冲突可串行化宽松但能始终保证一致性，给出保证亚可串行化的充分必要条件．进而，提出相应的并行亚可串行化并发控制协议BCC-HSR．实验结果表明，BCC-HSR协议能有效改进移动事务的平均响应时间，更好地满足并行数据广播环境中高性能事务处理的要求。