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

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

THE CORRECTNESS OF REAL-TIME TRANSACTIONS AND ITS IMPLEMENTATION

The transactions in real-time database systems can have timing constraints(typically the deadlines) and the transactions which exceeds their deadlines can cause catastrophic effects to the system. The execution of transactions must satisfy not only the integrity and consistency of database but also the timing correctness and structure correctness among transactions. The traditional transaction processing methods only consider the transaction behavior of data accessing and is helpless to the implementation of transaction timing correctness and structure correctness. The correctness of real-time transactions is discussed in detail and it is found that the transaction correctness includes the result correctness, time correctness, structural correctness and behavioral correctness. In literatures, different algorithms and strategies are often applied to implement the different correctness. Also given is a uniform graphic algorithm to achieve the real-time transaction correctness.