Destabilizers and independence of XML updates

Destabilizers and Independence of XML Updates

Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework for static independence analysis that decomposes the problem into two orthogonal subproblems: approximating the destabilizer, that is, a finite representation of the set of updates that can change the result of the query...

Schema-Based Independence Analysis for XML Updates

Query-update independence analysis is the problem of determining whether an update affects the results of a query. Query-update independence is useful for avoiding recomputation of materialized views and for checking for interference among concurrent queries and updates. This paper develops static analysis techniques for query-update independence problems involving core XQuery queries and updat...

Conflicting XML Updates

The importance of XML as a universal data representation format has led to several efforts to integrate XML as a construct in a programming language. There has been growing interest in the addition of update operations in these languages, for example, to languages such as XQuery [20] and XJ [8]. These update operations (whether the semantics are mutating or value-based) support concise and decl...

Updates and Incremental Validation of XML Documents

We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the new document still conforms to the imposed constraints. Incremental validation of updates leads to significant savings on computing time when compared to brute-force validation of an updated document from scratch. This p...

Distributed and Cooperative Updates of XML Documents