Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/7736
Title: | A Crash Course on Database Queries | Authors: | VAN DEN BUSSCHE, Jan VAN GUCHT, Dirk VANSUMMEREN, Stijn |
Issue Date: | 2007 | Publisher: | ACM Press | Source: | Libkin, Leonid (Ed.) Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. p. 143-154. | Abstract: | Complex database queries, like programs in general, can `crash', i.e., can raise runtime errors. We want to avoid crashes without losing expressive power, or we want to correctly predict the absence of crashes. We show how concepts and techniques from programming language theory, notably type systems and reflection, can be adapted to this end. Of course, the specific nature of database queries (as opposed to general programs), also requires some new methods, and raises new questions. | Keywords: | Computer science, runtime errors, well-definedness, type systems, typability, type inference, reflection, nested relational calculus, relational algebra, XQuery | Document URI: | http://hdl.handle.net/1942/7736 | Link to publication/dataset: | http://doi.acm.org/10.1145/1265530.1265551 | ISBN: | 978-1-59593-685-1 | Category: | C1 | Type: | Proceedings Paper |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
peking.pdf | Non Peer-reviewed author version | 241.15 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.