A Logic Approach to XML Document Update Query Specifications

Abstract

Currently most XML query language proposals including W3C XQuery, focus on retrieval aspects of query specifications. While retrieval is important, XML documents that could not be modified would not be interesting in many useful applications. This presentation will show a logic approach, based on Path Predicate Calculus, to XML update query specifications and the advantages over algebraic approaches.