TY  - JOUR
AU  - Sáenz Pérez, Fernando
PY  - 2019
DO  - 10.1017/S1471068419000206
UR  - https://hdl.handle.net/20.500.14352/114196
T2  - Theory and Practice of Logic Programming
AB  - This paper proposes the use of Constraint Logic Programming (CLP) to model SQL queries in a dataindependent abstract layer by focusing on some semantic properties for signalling possible errors in such queries. First, we define a translation from SQL...
LA  - eng
M2  - 808
PB  - Cambridge University Press
KW  - Constraint Logic Programming
KW  - SQL
KW  - Semantic Checking
KW  - Datalog Educational System
TI  - Applying Constraint Logic Programming to SQL Semantic Analysis
TY  - journal article
VL  - 19
ER  -