基于移动实时事务相关图的数据收集

在移动环境下,为了满足实时事务在移动主机断接后数据的可用性,在事务启动前,数据必须收集到移动主机的缓存中。根据实时事务的相关性,给出了实时事务的相关图。介绍了基于时间阈值、空间阈值、数据的有效期阈值的收集算法,有效保证数据的可用性和实时事务的定时限制。

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

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