CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
XPath satisfiability in the presence of DTDs
Authors
Calvanese D.
Chan C.
+12 more
Floris Geerts
Hidders J.
Jagadish H.
Kuperferman O.
Lakshmanan L.
Marx M.
Michael Benedikt
Olteanu D.
Sur G.
Wenfei Fan
Wood P.
Wood P.
Publication date
1 January 2008
Publisher
'Association for Computing Machinery (ACM)'
Doi
Cite
Abstract
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 of XPath fragments widely used in practice, and investigate the impact of different XPath operators on the satisfiability analysis. We first study the problem for negation-free XPath fragments with and without upward axes, recursion and data-value joins, identifying which factors lead to tractability and which to NP-completeness. We then turn to fragments with negation but without data values, establishing lower and upper bounds in the absence and in the presence of upward modalities and recursion. We show that with negation the complexity ranges from PSPACE to EXPTIME. Moreover, when both data values and negation are in place, we find that the complexity ranges from NEXPTIME to undecidable. Furthermore, we give a finer analysis of the problem for particular classes of DTDs, exploring the impact of various DTD constructs, identifying tractable cases, as well as providing the complexity in the query size alone. Finally, we investigate the problem for XPath fragments with sibling axes, exploring the impact of horizontal modalities on the satisfiability analysis. © 2008 ACM
Similar works
Full text
Open in the Core reader
Download PDF
Available Versions
Supporting member
Oxford University Research Archive
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:ora.ox.ac.uk:uuid:d64e6153...
Last time updated on 30/09/2015
Edinburgh Research Explorer
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:pure.ed.ac.uk:publications...
Last time updated on 08/02/2015
Crossref
See this paper in CORE
Go to the repository landing page
Download from data provider
Last time updated on 26/03/2019
Oxford University Research Archive (ORA)
See this paper in CORE
Go to the repository landing page
Download from data provider
Last time updated on 18/04/2020
ORA - Oxford University Research Archive
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:ora.ox.ac.uk:uuid:d64e6153...
Last time updated on 13/04/2022