Types for Detecting XML Query-Update Independence

Federico Ulliana 1, 2
2 OAK - Database optimizations and architectures for complex large data
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : In the last decade XML became one of the main standards for data storage and exchange on the Web. Detecting XML query-update independence is crucial to efficiently perform data management tasks, like those concerning view-maintenance, concurrency control, and security. This thesis presents a novel static analysis technique to detect XML query- update independence, in the presence of a schema. Rather than types, the presented system infers chains of types. Each chain represents a path that can be traversed on a valid document during query/update evaluation. The resulting independence analysis is precise, although it raises a challenging issue: recursive schemas may lead to infer infinitely many chains. This thesis presents a sound and complete approximation tech- nique ensuring a finite analysis in any case, together with an efficient implementation performing the chain-based analysis in polynomial space and time.
Document type :
Theses
Complete list of metadatas

Cited literature [49 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00757597
Contributor : Federico Ulliana <>
Submitted on : Tuesday, November 27, 2012 - 11:49:19 AM
Last modification on : Wednesday, December 12, 2018 - 12:10:02 PM
Long-term archiving on : Thursday, February 28, 2013 - 3:43:30 AM

Identifiers

  • HAL Id : tel-00757597, version 1

Collections

Citation

Federico Ulliana. Types for Detecting XML Query-Update Independence. Databases [cs.DB]. Université Paris Sud - Paris XI, 2012. English. ⟨tel-00757597⟩

Share

Metrics

Record views

421

Files downloads

353