Type-Based Detection of XML Query-Update Independence

Nicole Bidoit-Tollu, Dario Colazzo, Federico Ulliana

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. Ea…