Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/4131
Title: | Well-definedness and semantic type-checking for the nested relational calculus | Authors: | VAN DEN BUSSCHE, Jan Van Gucht, Dirk VANSUMMEREN, Stijn |
Issue Date: | 2007 | Publisher: | ELSEVIER SCIENCE BV | Source: | THEORETICAL COMPUTER SCIENCE, 371(3). p. 183-199 | Abstract: | The well-definedness problem for a programming language consists of checking, given an expression and an input type, whether the semantics of the expression is defined for all inputs adhering to the input type. A related problem is the semantic type-checking problem which consists of checking, given an expression, an input type, and an output type whether the expression always returns outputs adhering to the output type on inputs adhering to the input type. Both problems are undecidable for general-purpose programming languages. In this paper we study these problems for the Nested Relational Calculus, a specific-purpose database query language. We also investigate how these problems behave in the presence of prograrruning language features such as singleton coercion and type tests. (c) 2006 Elsevier B.V. All rights reserved. | Notes: | Hasselt Univ, B-3590 Diepenbeek, Belgium. Transnatl Univ Limburg, B-3590 Diepenbeek, Belgium. Indiana Univ, Dept Comp Sci, Bloomington, IN 47405 USA.VAN DEN BUSSCHE, J, Hasselt Univ, Gebouw D, B-3590 Diepenbeek, Belgium.jan.vandenbussche@uhasselt.be vgucht@cs.indiana.edu stijn.vansummeren@uhasselt.be | Keywords: | complex objects; query equivalence; semantic type-checking; well-definedness | Document URI: | http://hdl.handle.net/1942/4131 | ISSN: | 0304-3975 | e-ISSN: | 1879-2294 | DOI: | 10.1016/j.tcs.2006.11.007 | ISI #: | 000244907600005 | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2008 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
0406060v1.pdf | 286.14 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
7
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
6
checked on Oct 12, 2024
Page view(s)
92
checked on Jun 14, 2023
Download(s)
150
checked on Jun 14, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.