Correctness Study on Nested Transaction Model and Locking Protocol
嵌套事务的正确性及锁协议

As one of the extended transaction models,nested transaction is used widely.Expatiate on the correctness of nested transaction,and presant a concurrency control protocol of locks in nested transaction model.