Previous [ 1] [ 2] [ 3] [ 4] [ 5] [ 6] [ 7] [ 8] [ 9] [ 10] [ 11] [ 12] [ 13] [ 14] [ 15] [ 16] [ 17] [ 18]

@

Journal of Information Science and Engineering, Vol. 25 No. 1, pp. 11-31 (January 2009)

A New Optimistic Concurrency Control in Valid XML*

Changwoo Byun+, Ilkook Yun and Seog Park
+Department of Computer Systems and Engineering
Inha Technical College
Incheon, 402-752 South Korea
Department of Computer Science and Engineering
Sogang University
Seoul, 121-742 South Korea

When numerous users and applications work concurrently on Extensible Markup Language (XML) documents, the transaction management of these XML documents becomes an important issue. The detection of conflicts between operations becomes vital in the query optimization for a query compiler and concurrency for a transaction manager. XML data require tailor-made conflict detection mechanisms since traditional solutions for the relational model are inadequate. Such mechanisms need to take full advantage of the hierarchical structure of semi-structured data. In this paper, we will solve a fundamental problem of the concurrency control for valid XML documents, which is the detection of conflicts between operations. We will formalize READ-UPDATE and UPDATE- UPDATE conflicts in valid XML documents, and propose effective algorithms to detect such conflict when the update operations are specified using XPath expressions. Furthermore, we will show that our proposed optimistic concurrency control scheme is a solution to the phantom and the pseudo-conflict problems.

Keywords: valid XML, transaction management, locking protocol, optimistic concurrency control, conflict, conflict detection

Full Text () Retrieve PDF document (200901_02.pdf)

Received May 4, 2007; revised September 29 & December 28, 2007; accepted March 20, 2008.
Communicated by Suh-Yin Lee.
* This work was supported by the Korea Science and Engineering Foundation (KOSEF) grant funded by the Korea government (MOST) (No. R01-2006-000-10609-0).
+ Corresponding author.