主动实时嵌套事务的正确性

Correctness for Active Real-Time Nested Transactions

传统数据库通过并发控制协议及事务的恢复机制来保证事务的正确性。在主动实时数据库系统中,为了更好地支持应用,人们提出并实现了嵌套事务模型。主动实时嵌套事务的正确性比传统的原子事务更复杂。本文详细分析了主动实时嵌套事务的正确性,包括逻辑正确性、时间正确性、结构相关(正确)性及事务的行为正确性,基于事务的经历模型给出这些正确性的定义,为主动实时嵌套事务的正确性实现提供了理论基础。

In a traditional database system, the transaction correctness is implemented through the concurrency control protocol and the recovery mechanism. However, in an active realtime database system, a nested transaction model is needed to cater for the system requirements. The correctness for an active realtime transaction is much more complex than that for a traditional atomic transaction. In this paper, we show that an active realtime nested transaction should be correct in logical results, timing requirements, structural dependency and transaction behaviors. The research in the transaction correctness can help to implement the transaction correctness.