Applying Constraint Logic Programming to SQL Semantic Analysis. (arXiv:1907.10914v1 [cs.DB])

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 solving this
CLP program will give information about inconsistency, tautology, and possible
simplifications. We use different constraint domains which are mapped to SQL
types, and propose them to cooperate for improving accuracy. Our approach
leverages a deductive system that includes SQL and Datalog, and we present an
implementation in this system which is currently being tested in classroom,
showing its advantages and differences with respect to other approaches, as
well as some performance data. This paper is under consideration for acceptance
in TPLP.

Source link

Related posts

Daily Crunch: The age of quantum computing is here


Artificial Intelligence Weekly – Artificial Intelligence News #83 – Aug 16th 2018


Engineers design artificial synapse for “brain-on-a-chip” hardware


This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish. Accept Read More

Privacy & Cookies Policy