嵌套事务作为扩展事务模型的一种，应用较为广泛，对嵌套事务正确性进行了描述，并给出了一个嵌套事务模型的并发控制锁的协议。