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