Debido al alto tráfico generado por robots, aplicamos límites en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Artículo:
Experiencing Intuitionistic Logic Programming in SQL Puzzles

Vista sencilla de ítem
bs.conference.acronymPROLE
bs.conference.nameJornadas sobre Programación y Lenguajes (PROLE)
bs.edition.date2019-09-02
bs.edition.locationCáceres
bs.edition.nameXIX Jornadas de Programación y Lenguajes (PROLE 2019)
bs.proceedings.editorAlpuente, M.
bs.proceedings.editorSapiña, J.
bs.proceedings.editorRodríguez Echeverría, R.
bs.proceedings.nameActas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019)
dc.contributor.affiliationFADoSS. DISIA. Universidad Complutense de Madrid, Spain
dc.contributor.authorSaenz-Perez, Fernando
dc.contributor.emailfernan@sip.ucm.es
dc.contributor.signatureSaenz-Perez, Fernando
dc.date.accessioned2019-09-02T00:00:00Z
dc.date.available2019-09-02T00:00:00Z
dc.date.issued2019-09-02
dc.description.abstractThis 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.
dc.identifier.citationSaenz-Perez, F.: Experiencing Intuitionistic Logic Programming in SQL Puzzles. In: Alpuente, M., Sapiña, J., Rodríguez Echeverría, R. (eds.) Actas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019). Sistedes (2019). https://hdl.handle.net/11705/PROLE/2019/002
dc.identifier.citation-bibtex@inproceedings{11705:PROLE:2019:002, title = {{Experiencing Intuitionistic Logic Programming in SQL Puzzles}}, author = {Saenz-Perez, F.}, url = {https://hdl.handle.net/11705/PROLE/2019/002}, crossref = {11705:PROLE:2019} } @proceedings{11705:PROLE:2019, title = {{Actas de las XIX Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2019)}}, author = {Alpuente, M. and Sapiña, J. and Rodr\'{i}guez Echeverr\'{i}a, R.}, year = {2019}, publisher = {{Sistedes}}, }
dc.identifier.sistedes11705/PROLE/2019/002
dc.publisherSistedes
dc.relation.ispartofActas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019)
dc.rights.licenseAll rights reserved to their respective owners
dc.subjectHypothetical Datalog
dc.subjectIntuitionistic Logic Programming
dc.subjectSQL
dc.titleExperiencing Intuitionistic Logic Programming in SQL Puzzles
dspace.entity.typeArtículo
relation.isAuthorOfPaperb1e07de0-ec42-4904-839e-479a544e40d8
relation.isAuthorOfPaper.latestForDiscoveryb1e07de0-ec42-4904-839e-479a544e40d8

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
11705-PROLE-2019-002.pdf
Tamaño:
1.08 MB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Datalog Query Languages