Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery

Simple item page
dc.creatorBussche, Jan Van den
dc.creatorVan Gucht, Dirk
dc.creatorVansummeren, Stijn
dc.date2004-06-29
dc.date.accessioned2026-07-07T03:21:30Z
dc.date.available2026-07-07T03:21:30Z
dc.descriptionTwo 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 ``pure'' 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.identifierhttps://arxiv.org/abs/cs/0406060
dc.identifierhttp://arxiv.org/abs/cs/0406060
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32222
dc.subjectDatabases
dc.subjectProgramming Languages
dc.titleWell-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery
dc.typetext

Files

Collections

arXiv