Analysis of declarative updates
Michael Benedikt · 2010
Declarative XML update languages are harder to analyze than queries. Static type inference and type checking are certainly more difficult, and even more basic effect analysis problems are complex -- what parts of a document does an update impact? I will begin by surveying the previous results on analysis of XML updates, and their relation to problems in XPath/XQuery. I will then focus on one interaction problem: do an update and a query interact? I will explain why this problem lies at the core of many optimization problems, particularly view maintenance under declarative updates and minimization of number of passes in update evaluation.