Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/956
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Benedikt, Michael | - |
dc.contributor.author | Fan, W. | - |
dc.contributor.author | GEERTS, Floris | - |
dc.date.accessioned | 2006-05-12T12:36:09Z | - |
dc.date.available | 2006-05-12T12:36:09Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. p. 25-36. | - |
dc.identifier.isbn | 1-59593-062-0 | - |
dc.identifier.uri | http://hdl.handle.net/1942/956 | - |
dc.description.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 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. Finally, 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. | - |
dc.language.iso | en | - |
dc.publisher | ACM | - |
dc.title | XPath satisfiability in the presence of DTDs | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.conferencedate | 2005 | - |
local.bibliographicCitation.conferencename | Symposium on Principles of Database Systems | - |
local.bibliographicCitation.conferenceplace | Baltimore, Maryland | - |
dc.identifier.epage | 36 | - |
dc.identifier.spage | 25 | - |
local.bibliographicCitation.jcat | C1 | - |
local.type.refereed | Refereed | - |
local.type.specified | Proceedings Paper | - |
dc.bibliographicCitation.oldjcat | C2 | - |
dc.identifier.url | http://doi.acm.org/10.1145/1065167.1065172 | - |
local.bibliographicCitation.btitle | Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems | - |
item.fulltext | With Fulltext | - |
item.accessRights | Open Access | - |
item.contributor | Benedikt, Michael | - |
item.contributor | Fan, W. | - |
item.contributor | GEERTS, Floris | - |
item.fullcitation | Benedikt, Michael; Fan, W. & GEERTS, Floris (2005) XPath satisfiability in the presence of DTDs. In: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. p. 25-36.. | - |
Appears in Collections: | Research publications |
Page view(s)
96
checked on Sep 28, 2023
Download(s)
398
checked on Sep 28, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.