实时数据库并发控制协议及其Petri网分析

该文提出一种适用于实时数据库的新可推测并发控制(New Speculative Concurrency Control,NSCC)协议。该协议在传统的SCC协议基础之上,进行一系列改进,避免了大量不必要的事务重启,提高了并发度。最后,通过Petri网理论验证其可行性和正确性。