Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/965
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | VANSUMMEREN, Stijn | - |
dc.date.accessioned | 2006-05-16T12:01:46Z | - |
dc.date.available | 2006-05-16T12:01:46Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. p. 37-48. | - |
dc.identifier.isbn | 1-59593-062-0 | - |
dc.identifier.uri | http://hdl.handle.net/1942/965 | - |
dc.description.abstract | Unlike in traditional query languages, expressions in XQuery can have an undefined meaning (i.e., these expressions produce a run-time error). It is hence natural to ask whether we can solve the well-definedness problem for XQuery: given an expression and an input type, check whether the semantics of the expression is defined for all inputs adhering to the input type. In this paper we investigate the welldefinedness problem for non-recursive fragments of XQuery under a bounded-depth type system. We identify properties of base operations which can make the problem undecidable and give conditions which are sufficient to ensure decidability. | - |
dc.description.sponsorship | SIGACT SIGMOD SIGART | - |
dc.format.extent | 204039 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | ACM | - |
dc.title | Deciding well-definedness of XQuery fragments | - |
dc.type | Proceedings Paper | - |
local.bibliographicCitation.conferencename | Symposium on Principles of Database Systems | - |
local.bibliographicCitation.conferenceplace | Baltimore, Maryland | - |
dc.identifier.epage | 48 | - |
dc.identifier.spage | 37 | - |
local.bibliographicCitation.jcat | C1 | - |
local.type.specified | Proceedings Paper | - |
dc.bibliographicCitation.oldjcat | C2 | - |
dc.identifier.url | http://doi.acm.org/10.1145/1065167.1065173 | - |
local.bibliographicCitation.btitle | Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems | - |
item.fulltext | With Fulltext | - |
item.contributor | VANSUMMEREN, Stijn | - |
item.accessRights | Open Access | - |
item.fullcitation | VANSUMMEREN, Stijn (2005) Deciding well-definedness of XQuery fragments. In: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. p. 37-48.. | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
decidingwell.pdf | Published version | 199.26 kB | Adobe PDF | View/Open |
Page view(s)
66
checked on Sep 7, 2022
Download(s)
174
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.