ABSTRACT XML data projection (or pruning) is one of the main optimization techniques
recently adopted in the context of main-memory XML query-engines. The underlying idea is …

Statically typed languages offer numerous benefits to developers, such as improved code
quality and reduced runtime errors, but they also require the overhead of manual type …

To address the needs of data intensive XML applications, a number of efficient tree pattern
algorithms have been proposed. Still, most XQuery compilers do not support those …

A part of a query that will never contribute data to the query answer should be regarded as
an error. This principle has been recently accepted into mainstream XML query languages …

XML programming involves idioms for expressing'structure shyness' such as the descendant
axis of XPath or the default templates of XSLT. We initiate a discussion of the relationships …

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 …

Property‐based testing has gained popularity in recent years in many areas of software
development. The specification of assertions/properties helps to understand the semantics …

XML data are described by types involving regular expressions. This raises the question of
what language feature is convenient for manipulating such data. Previously, we have given …

In this article we investigate a novel execution paradigm–ML-like pattern-matching–for XML
query processing. We show that such a paradigm is well adapted for a common and …