实时数据广播中的高性能并发控制

随着无线通讯技术与便携计算设备的快速发展及普及，移动计算时代已经来临。无线数据广播使得面向大批量移动用户的大型应用系统的实现成为可能。现有的数据广播系统不支持移动实时事务，无法对数据广播与（包括源自移动设备的）数据更新交替并发执行实施有效控制，即无法保证数据一致性。实时数据广播中的高性能并发控制是面向大批量移动用户的大型应用系统面临的一个无法回避、亟待解决的问题。本项目从三方面研究该问题：（1）实时数据广播中的动静结合分片段移动事务模型；（2）实时数据广播中比冲突可串行化宽松、而且能始终保证数据一致性的新的并发控制策略及其形式化定义，其放松性、一致性、可判定性的论证；（3）实时数据广播中的高性能并发控制机制及其形式化描述、正确性验证与性能评价。该项目的研究将促进现代数据库与信息系统理论与技术的发展。研究成果可广泛应用于国家应急、国防建设、信息服务等许多重要领域，具有重大理论意义和实用价值。