Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/962
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.contributor.author | Van Gucht, Dirk | - |
dc.contributor.author | VANSUMMEREN, Stijn | - |
dc.date.accessioned | 2006-05-16T09:14:11Z | - |
dc.date.available | 2006-05-16T09:14:11Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | DATABASE THEORY - ICDT 2005, PROCEEDINGS. p. 99-113 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/1942/962 | - |
dc.description.abstract | Two natural decision problems regarding the XML query language XQuery are well-definedness and semantic type-checking. We study these problems in the setting of a relational fragment of XQuery. We show that well-definedness and semantic type-checking are undecidable, even in the positive-existential case. Nevertheless, for a ldquopurerdquo variant of XQuery, in which no identification is made between an item and the singleton containing that item, the problems become decidable. We also consider the analogous problems in the setting of the nested relational calculus. | - |
dc.format.extent | 422841 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Springer | - |
dc.relation.ispartofseries | LECTURE NOTES IN COMPUTER SCIENCE | - |
dc.title | Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract | - |
dc.type | Journal Contribution | - |
local.bibliographicCitation.conferencename | DATABASE THEORY - ICDT 2005, PROCEEDINGS | - |
dc.identifier.epage | 113 | - |
dc.identifier.spage | 99 | - |
local.bibliographicCitation.jcat | A1 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
local.relation.ispartofseriesnr | 3363 | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.doi | 10.1007/b104421 | - |
dc.identifier.isi | 000227472000007 | - |
item.fullcitation | VAN DEN BUSSCHE, Jan; Van Gucht, Dirk & VANSUMMEREN, Stijn (2005) Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract. In: DATABASE THEORY - ICDT 2005, PROCEEDINGS. p. 99-113. | - |
item.accessRights | Open Access | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
item.contributor | Van Gucht, Dirk | - |
item.contributor | VANSUMMEREN, Stijn | - |
item.fulltext | With Fulltext | - |
item.validation | ecoom 2006 | - |
crisitem.journal.issn | 0302-9743 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Welldefinedness.pdf | Published version | 412.93 kB | Adobe PDF | View/Open |
WEB OF SCIENCETM
Citations
3
checked on Mar 21, 2024
Page view(s)
30
checked on Sep 7, 2022
Download(s)
10
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.