Intuitionistic logic programming for SQL

DOI10.1007/978-3-319-63139-4_17zbMath1485.68040arXiv1608.03535OpenAlexW2738787306MaRDI QIDQ2409745

Fernando Sáenz-Pérez

Publication date: 13 October 2017

Full work available at URL: https://arxiv.org/abs/1608.03535

zbMATH Keywords

SQLDatalogextended relational algebraintuitionistic logic programming

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (1)

Applying Constraint Logic Programming to SQL Semantic Analysis

Uses Software

• Datalog

This page was built for publication: Intuitionistic logic programming for SQL