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: 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 SizeFormat 
peking.pdfPreprint241.15 kBAdobe PDFView/Open
Show full item record

Page view(s)

56
checked on May 27, 2022

Download(s)

160
checked on May 27, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.