DocumentCode
3426546
Title
Petri net based model for concurrent control of database system
Author
Hou, Jie ; Li, Fengying ; Wang, HuiJiao
Author_Institution
Sch. of Comput. Sci. & Eng., Guilin Univ. of Electron. Technol., Guilin, China
fYear
2010
fDate
22-24 Oct. 2010
Firstpage
813
Lastpage
815
Abstract
In order to represent a clear and compact formal specification for concurrency control of transactions in database system, Petri net based concurrency control representation model is presented. This model satisfies two-phase locking protocol which can ensure the serialization of concurrency scheduling. Hence the problems resulted from concurrent operations are avoided.
Keywords
Petri nets; concurrency control; formal specification; transaction processing; Petri net; concurrency scheduling; concurrent control; database system; formal specification; representation model; serialization; two phase locking protocol; Analytical models; Concurrent computing; Educational institutions; Petri net; concurrency control; two-phase locking;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Computing and Integrated Systems (ICISS), 2010 International Conference on
Conference_Location
Guilin
Print_ISBN
978-1-4244-6834-8
Type
conf
DOI
10.1109/ICISS.2010.5657091
Filename
5657091
Link To Document