实时数据库中事务执行的正确性研究

Research on Correctness of Transaction Execution of Real-Time Database

实时数据库就是其数据和事务都有显式定时限制的数据库,系统的正确性不仅依赖于事务的逻辑结果,而且依赖于该逻辑结果所产生的时间,事务处理是实时数据库中的关键问题。从实时数据库的事务特征入手,分析事务执行的结果正确性、行为正确性、结构正确性与时间正确性,论述三种正确性准则在保证时间一致性限制方面的作用,从而研究事务执行的正确性问题。

Real-time database is a kind of database whose data and services have explicit time limits.The correctness of the system depends on not only the logical results of transaction,but also the time generated by the logical results.Transaction processing is the key issue of real-time database.Starts from the transaction features of real-time database,and analyzes the correctness of results,behavior,structure and time of the transaction execution.Also discusses the role of three kinds of correctness criteria in the respect of restrictions of ensuring time consistency.Therefore,researches on the correctness of transaction execution.