Skip to Main content Skip to Navigation
Theses

Type-based detection of XML query-update independence

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 technique 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 metadata

Cited literature [9 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00780488
Contributor : Abes Star :  Contact
Submitted on : Thursday, January 24, 2013 - 10:07:11 AM
Last modification on : Thursday, February 4, 2021 - 3:55:53 AM
Long-term archiving on: : Thursday, April 25, 2013 - 3:51:57 AM

Identifiers

  • HAL Id : tel-00780488, version 1

Collections

Citation

Federico Ulliana. Type-based detection of XML query-update independence. Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112339⟩. ⟨tel-00780488⟩

Share

Metrics

Record views

564

Files downloads

442