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

摘要：

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

关键词： 实时数据库 并发控制 NSCC协议 Petri网 协议验证

作者: 陈俊 朱艳丽 古乐声

作者单位: 河南科技学院,信息工程学院,河南,新乡,453003

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 121-123,241

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）