Well-definedness and semantic type-checking in the nested relational calculus and xquery (2005)
Cached
Download Links
- [alpha.uhasselt.be]
- [alpha.luc.ac.be]
- [alpha.luc.ac.be]
- [alpha.uhasselt.be]
- [www.cs.indiana.edu]
- [alpha.uhasselt.be]
- DBLP
Other Repositories/Bibliography
| Venue: | Theoretical Computer Science |
| Citations: | 6 - 3 self |
BibTeX
@INPROCEEDINGS{Bussche05well-definednessand,
author = {Jan Van Den Bussche and Dirk Van Gucht and Stijn Vansummeren and Limburgs Universitair Centrum Diepenbeek},
title = {Well-definedness and semantic type-checking in the nested relational calculus and xquery},
booktitle = {Theoretical Computer Science},
year = {2005},
pages = {99--113},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 “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. 1
