Resumen:
This work presents some SQL puzzles making use of the application of intuitionistic logic programming (ILP) to implement an SQL system. ILP provides a way of declaring SQL Common Table Expressions as used to specify recursive queries and local view definitions. We present the concepts of ILP that will be used to translate SQL queries to Hypothetical Datalog, providing its syntax, an inference system and translation rules. Then, several novel SQL puzzles used during teaching standard SQL in a database subject are proposed, showing that when following the SQL standard the implemented system is more expressive than current DMBS’s.
Descargas:
La descarga de este artículo ha sido restringida por el autor
Ver la referencia en formato Bibtex
@inproceedings{prole:2019:002,
title={{Experiencing Intuitionistic Logic Programming in SQL Puzzles (Work in Progress)}},
author={Fernando Saenz-Perez},
url={http://hdl.handle.net/11705/PROLE/2019/002},
booktitle={PROLE2019},
year={2019},
publisher={SISTEDES},
crossref={prole2019caceres}
}
@proceedings{prole2019caceres,
title={{Actas de las XIX Jornadas de Programaci{\'o}n y Lenguajes (PROLE 2019)}},
editor={Alpuente, M., Sapi{\~n}a, J. y Rodr{\'i}guez Echeverr{\'i}a, R.},
booktitle={PROLE2019},
year={2019},
publisher={SISTEDES}
}
Copiar al portapapeles |
Cerrar
