移动实时事务的相对时间正确性及其实现

随着移动通信技术的迅速发展 ,人们提出了新的应用要求 :在移动环境下处理实时事务 .而移动通信的带宽有限性引起较大的数据访问延迟 ,有时甚至由于网络传输的断接而使得事务得不到所需访问的数据 ,这些严重影响了移动环境下实时事务截止期的满足 .实时事务的时间要求 (典型地为截止性 )的满足通常比事务执行的逻辑结果的完全正确更为重要 .该文提出了移动环境下实时事务的“相对”时间正确性标准 ,只要事务访问的数据的陈旧度 (staleness)在控制的范围内 ,就不一定要求实时事务访问的数据在事务提交时是有效的 .文中提出了移动实时事务的相对时间正确性标准、保证事务相对时间正确性标准的算法及移动实时事务执行模型 .所有这些策略一方面降低了移动实时事务的并发控制代价 ,另一方面以牺牲事务的“绝对”时间正确换取事务截止期的满足 ,这与实时数据库“宁愿要部分正确但及时的结果而不愿要绝对正确但过时的结果”的系统目标是相一致的 .实验表明 :相对时间正确性标准的提出及相应的事务执行模型能提高系统中满足截止期事务的比率 ,从而提高了系统性能 .

实时数据库事务的正确性及实现算法

实时数据库系统中事务可以有定时限制 (典型地为截止期 ) ,事务超过截止期可能给系统带来灾难性后果 .事务不光要满足数据库的完整性与一致性 ,而且要满足在时间上的正确性以及事务之间在结构上的正确性 .传统的事务处理方法仅着眼于事务存取数据库的正确性 ,对于时间正确性与结构正确性无能为力 .详细讨论了实时事务的正确性 ,包含结果正确性、时间正确性、行为正确性及结构正确性 .已有的研究成果中大多用不同的算法及策略来保证不同的正确性要求 ;给出了保证实时事务正确性的一个统一的图论算法 .