The Web is causing a revolution in how we represent, retrieve, and process information Its
growth has given us a universally accessible database-but in the form of a largely …

We study fundamental aspects related to the efficient processing of the SPARQL query
language for RDF, proposed by the W3C to encode machine-readable information in the …

Labeled unranked trees are used as a model of XML documents, and logical languages for
them have been studied actively over the past several years. Such logics have different …

Dependency theory is almost as old as relational databases themselves, and has
traditionally been used to improve the quality of schema, among other things. Recently there …

This article takes a first step towards the design and normalization theory for XML
documents. We show that, like relational databases, XML documents may contain redundant …

Keys for XML Page 1 Keys for XML Peter Buneman * Susan Davidson * Wenfei Fan t Carmem
Hara z Wang-Chiew Tan * ABSTRACT We discuss the definition of keys for XML documents …

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 …

Motivated by reasoning tasks for XML languages, the satisfiability problem of logics on data
trees is investigated. The nodes of a data tree have a label from a finite set and a data value …

Comprehensive consistency management requires a strong mechanism for repair once
inconsistencies have been detected In this paper we present a repair framework for …

XML Constraints: Specification, Analysis, and Applications Page 1 XML Constraints:
Specification, Analysis, and Applications Wenfei Fan LFCS, School of Informatics, University of …