Applying Constraint Logic Programming to SQL Semantic Analysis

This paper proposes the use of Constraint Logic Programming (CLP) to model SQL queries in a data-independent abstract layer by focusing on some semantic properties for signalling possible errors in such queries. First, we define a translation from SQL to Datalog, and from Datalog to CLP, so that sol...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 19; no. 5-6; pp. 808 - 825
Main Author:	SÁENZ-PÉREZ, FERNANDO
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.09.2019
Subjects:	35th International Conference on Logic Programming Constraint modelling Domains Logic programming Original Article Queries Query languages Semantics Datalog Educational System Semantic Checking Constraint Logic Programming SQL
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!