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.