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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming Jg. 19; H. 5-6; S. 808 - 825
1. Verfasser:	SÁENZ-PÉREZ, FERNANDO
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.09.2019
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!