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
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;
Conference_Titel :
Intelligent Computing and Integrated Systems (ICISS), 2010 International Conference on
Conference_Location :
Guilin
Print_ISBN :
978-1-4244-6834-8
DOI :
10.1109/ICISS.2010.5657091
