实时数据库系统的正确性

实时数据库(RTDB)系统的正确性就是与定时限制紧密相联的数据库一致性和事务正确性。文中对此作了详细讨论,指出RTDB的一致性包括内部一致、外部一致和相互一致;事务正确性包括结果正确性、行为正确性、结构正确性和时间正确性。进一步的关键问题是判断正确性的准则和表示方法,对此文中提出了一个经历模型,它可方便地用来说明各种恰当的正确性。