Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
SIGMOD RECORD 2002
ADBIS 2002
CIKM 2002
= CIKM'02 Website
= CIKM'02 Papers
= CIKM Workshop_1
= GIS'02 Papers
= CIKM Workshop_2
= DOLAP'02 Papers
= CIKM Workshop_3
<<< = WIDM'02 Papers>>>
CoopIS 2002
EDBT 2002
ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
SIGIR 2002
SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002

Consistently updating XML documents using incremental constraint check queries


Bintou Kane, Hong Su, and Elke A. Rundensteiner

  View Paper (PDF)  

Return to Advanced XML technologies and applications


Abstract

When updating a valid XML document, an efficient yet light-weight mechanism is needed to determine if the up-date would invalidate the document. Towards this goal, we developed a framework called SAXE, we first analyzed the constraints expressed in XML schema specifications and establish constraint rules that must be observed for an XML document to conform to a given XML Schema. We then classify the rules as relevant for a given update case, that is, we show the minimal set of rules that must be checked to guarantee the safety for each given update primitive. Next, we illustrate that this set of incremental constraint checks can be specified using generic XQuery expressions composed of three components. These components are (1) XML schema meta-queries to retrieve any constraint knowledge potentially relevant to the given update, (2) retrieval of specific characteristics from the to-be-modified XML, and (3) lastly an analysis of information collected about the XML schema and the affected XML document to determine validity of the update. As proof of concept, we have established a library of these generic XQuery constraint checks for the type-related constraints. The key idea of SAXE is to rewrite each XQuery update into a safe XML Query by extending it with appropriate constraint check subqueries. This enhanced XML This enhanced XML update query can then safely be executed using any existing XQuery engine that supports updates - thus turning any update engine automatically into an incremental constraint-check engine. In order to verify the feasibility of our approach, we have implemented a prototype system SAXE that generates safe XQuery updates. Our experimental evaluation assesses the overhead of rewriting, as well as the relative performance of our loosely-coupled incremental constraint check approach against the more traditional first-change-document and then revalidate-it approach.


DiSC'03 © 2003 Association for Computing Machinery