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...

Description complète

Détails bibliographiques
Auteurs principaux: Benedikt, M, Fan, W, Geerts, F
Format: Journal article
Langue:English
Publié: 2008