Automata play an important role for the theoretical foundations of XML data management,
but also in tools for various XML processing tasks. This survey article aims to give an …

This survey gives an overview of formal results on the XML query language XPath. We
identify several important fragments of XPath, focusing on subsets of XPath 1.0. We then …

We study the satisfiability problem associated with XPath in the presence of DTDs. This is
the problem of determining, given a query p in an XPath fragment and a DTD D, whether or …

Data exchange is the problem of finding an instance of a target schema, given an instance of
a source schema and a specification of the relationship between the source and the target …

It is increasingly common to find graphs in which edges bear different types, indicating a
variety of relationships. For such graphs we propose a class of reachability queries and a …

These are introductory lectures to some aspects of the physics of strongly correlated electron
systems. I first explain the main reasons for strong correlations in several classes of …

Access control policies for XML typically use regular path expressions such as XPath for
specifying the objects for access-control policies. However such access-control policies are …

XML repositories are now a widespread means for storing and exchanging information on
the Web. As these repositories become increasingly used in dynamic applications such as e …

XPath is a simple language for navigating an XML tree and returning a set of answer nodes.
The focus in this paper is on the complexity of the containment problem for various …

Publisher Summary This chapter discusses the efficient evaluation of XQuery. XQuery is the
current de facto standard XML query language. A core operation in the evaluation of XQuery …