XPath satisfiability in the presence of DTDs

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 not there exists an XML document T such that T conforms to D and the answer of p on T is nonempty. We consider a variety...

Descripción completa

Detalles Bibliográficos
Autores principales: Benedikt, M, Fan, W, Geerts, F
Formato: Journal article
Lenguaje:English
Publicado: 2008