Association for Computing Machinery
XML transformations can be resource-costly in particular when applied to very large XML documents and document sets. Those transformations usually involve lots of XPath queries and may not need to be entirely re-executed following an update of the input document. In this paper, a given query is said to be independent of a given update if, for any XML document, the results of the query are not affected by the update. The authors revisit Benedikt and Cheney's framework for query-update independence analysis and show that performance can be drastically enhanced, contradicting their initial claims.