Type-Based Detection of XML Query-Update Independence - Archive ouverte HAL Access content directly
Journal Articles Proceedings of the VLDB Endowment (PVLDB) Year : 2012

Type-Based Detection of XML Query-Update Independence

(1, 2) , (1, 2) , (1, 2)
1
2

Abstract

This paper presents a novel static analysis technique to detect XML query-update independence, in the presence of a schema. Rather than types, our 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. A sound and complete approximation technique ensuring a finite analysis in any case is presented, together with an efficient implementation performing the chain based analysis in polynomial space and time.
Fichier principal
Vignette du fichier
cr-for-hal.pdf (365.34 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00757544 , version 1 (27-11-2012)

Identifiers

  • HAL Id : hal-00757544 , version 1

Cite

Nicole Bidoit, Dario Colazzo, Federico Ulliana. Type-Based Detection of XML Query-Update Independence. Proceedings of the VLDB Endowment (PVLDB), 2012. ⟨hal-00757544⟩
140 View
146 Download

Share

Gmail Facebook Twitter LinkedIn More