arrow
Return

Semantic errors in SQL queries: A quite complete list

delete2006-05-01
delete53
PRE
AI
B
Brass, Stefan *
G
Goldberg, Christian
DOI:10.1016/j.jss.2005.06.028delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
We investigate classes of SQL queries which are syntactically correct, but certainly not intended, no matter for which task the query was written. For instance, queries that are contradictory, i.e. always return the empty set, are obviously not intended. However, current database management systems (DBMS) execute such queries without any warning. In this paper, we give an extensive list of conditions that are strong indications of semantic errors. Of course, questions like the satisfiability are in general undecidable, but a significant subset of SQL queries can actually be checked. We believe that future DBMS will perform such checks and that the generated warnings will help to develop application programs with fewer bugs in less time. (c) 2005 Elsevier Inc. All rights reserved.
Keywords:
databases
SQL
queries
bugs
errors
semantic errors
logical errors
software correctness
static analysis
teaching
database courses
SQL exams
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Journal of Systems and Software cover
Journal of Systems and Software
IF:
4.1
Papers:
5.5K
Citations:
8.4K

Organization

No organization information available
Cited Papers

Cited Papers

Anti-inflammatory lupane triterpenoids fromMenyanthes trifoliata
err2018-04-16
err0
PREAI
errJiao-Jiao Zhu; Hui-Xiang Yang; Zheng-Hui Li; Guo-Kai Wang; Tao Feng; Ji-Kai Liu
errShare
errSave
Selective insulin-like growth factor-I antagonist inhibits mouse embryo development in a dose-dependent manner
err2010-05-01
err0
errOAAI
errJose Inzunza; Olle Danielsson; Parameswaran Grace Lalitkumar; Olle Larsson; Magnus Axelson; Virpi Töhönen; Kristina Gemzell Danielsson; Anneli Stavreus-Evers
errShare
errSave
researcher View more