Lehrgebiet Informationssysteme

FB Informatik

LG IS

AG DBIS

(C) AG DBIS

Optimizing Concurrent XML Processing

Michael P. Haustein

Kaiserslautern University of Technology
Dept. of Computer Science (AG DBIS)
P.O. Box 3049, 67653 Kaiserslautern, Germany
e-mail: haustein@informatik.uni-kl.de

Theo Härder

Kaiserslautern University of Technology
Dept. of Computer Science (AG DBIS)
P.O. Box 3049, 67653 Kaiserslautern, Germany
e-mail: haerder@informatik.uni-kl.de

Full paper (PDF version)

Abstract

Processing XML documents in multi-user database management environments requires a suitable storage model of XML data, support of typical XML document processing (XDP)interfaces, and concurrency control mechanisms tailored to the XML data model. In this paper, we sketch the architecture of our prototype native XML database management system and specify in detail the operations for accessing and modifying the stored documents. The key contribution is the design and optimization of fine-grained locking protocols supporting collaborative processing of XML documents. For this reason, we introduce four XML locking protocols of growing sophistication and complexity, which are based on a tree-structured storage model. Finally, we present the ideas to prove the locking protocol correctness guaranteeing the specified data processing behavior of the given XDP operations.