Semantic Analysis of SQL Statements in DES





Publicado en

Actas de las XVIII Jornadas de Programación y Lenguajes (PROLE 2018)



This paper presents an on-going work that includes semantic analysis of SQL statements in the database system DES. Following Brass&Goldberg, SQL statements, while syntactically correct, can exhibit symptoms of bad design. By warning users about such symptoms, both the learning curve of students as well as productivity of SQL practitioners can be enhanced. Some errors include inconsistent conditions, lack of correlations in joins, unused tuple variables and the like. Here, we describe the semantic checker developed for DES, which applies several techniques. In particular, it applies abstraction with CLP solving, and specific algorithms for the different kind of errors. This proposal has been implemented in the deductive system DES and available at


Acerca de Saenz-Perez, Fernando

Palabras clave

Constraint Logic Programming, Datalog, Semantic Analysis, SQL
Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX