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 …

The study of graph structure has advanced in recent years with great strides: finite graphs
can be described algebraically, enabling them to be constructed out of more basic elements …

On the basis of regular tree grammars, we present a formal framework for XML schema
languages. This framework helps to describe, compare, and implement such schema …

Motivated by formal models recently proposed in the context of XML, we study automata and
logics on strings over infinite alphabets. These are conservative extensions of classical …

Compilers for high-level programming languages are large and complex software systems.
They have, however, several distinct properties by which they favorably differ from most …

XPath is a simple language for navigating an XML document and selecting a set of element
nodes. XPath expressions are used to query XML data, describe key constraints, express …

Research on information extraction from Web pages (wrapping) has seen much activity
recently (particularly systems implementations), but little work has been done on formally …

An intrinsic part of information extraction is the creation and manipulation of relations
extracted from text. In this article, we develop a foundational framework where the central …

We study the inference of Data Type Definitions (DTDs) for views of XML data, using an
abstraction that focuses on document content structure. The views are defined by a query …