We present an algorithm to solve XPath decision problems under regular tree type
constraints and show its use to statically type-check XPath queries. To this end, we prove the …

Different XML formats are widely used for data exchange and processing, being often
necessary to mutually convert between them. Standard XML transformation languages, like …

XML database query languages have been studied extensively, but XML database updates
have received relatively little attention, and pose many challenges to language design. We …

The W3C recently released the XQuery Update Facility 1.0, a Candidate Recommendation
for an XML update language. It appears likely that this proposal will become standard …

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 …

During the life cycle of an XML application, both schemas and queries may change from one
version to another. Schema evolutions may affect query results and potentially the validity of …

We consider the problem of XML Schema evolution. In the ever-changing context of the web,
XML schemas continuously change in order to cope with the natural evolution of the entities …

Purpose of this chapter is to describe the different research proposals and the facilities of
main enabled and native XML DBMSs to handle XML updates at document and schema …

A key feature of XQuery is its type system. Any language expression is statically typed and
its type is used during program type-checking. In XQuery, types of input data and functions …

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 …