Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (21): 121-123.DOI: 10.3778/j.issn.1002-8331.2009.21.036

• 理论科学研究 • Previous Articles     Next Articles

New speculative concurrency control protocol and analysis based on Petri net

CHEN Jun,ZHU Yan-li,GU Yue-sheng   

  1. School of Information Engineering,Henan Institute of Science and Technology,Xinxiang,Henan 453003,China
  • Received:2009-05-04 Revised:2009-06-22 Online:2009-07-21 Published:2009-07-21
  • Contact: CHEN Jun

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

陈 俊,朱艳丽,古乐声   

  1. 河南科技学院 信息工程学院,河南 新乡 453003
  • 通讯作者: 陈 俊

Abstract: A new Speculative Concurrency Control Protocol(NSCC) for real-time database is proposed.The protocol is based on the traditional SCC.Mang restartings are advoided,and the concurrency of transaction is enhanced.Finally,using theory of Petri net,it proves that the protocol is feasible and effective.

Key words: real-time database, concurrency control, New Speculative Concurrency Control(NSCC), Petri net

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

关键词: 实时数据库, 并发控制, 新可推测并发控制(NSCC), Petri网