By Topic

Petri net based model for concurrent control of database system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Jie Hou ; School of Computer science and engineering, Guilin University of Electronic Technology, China ; Fengying Li ; Huijiao Wang

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.

Published in:

Intelligent Computing and Integrated Systems (ICISS), 2010 International Conference on

Date of Conference:

22-24 Oct. 2010