Publicaciones en las que colabora con JAIME SÁNCHEZ HERNÁNDEZ (8)

2014

  1. An extended constraint deductive database: Theory and implementation

    Journal of Logic and Algebraic Programming, Vol. 83, Núm. 1, pp. 20-52

2013

  1. Formalizing a broader recursion coverage in SQL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. R-SQL: An SQL database system with extended recursion

    Electronic Communications of the EASST

2009

  1. Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

  2. Implementing a fixpoint semantics for a constraint deductive database based on hereditary harrop formulas

    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

2008

  1. Formalizing a constraint deductive database language based on Hreditary Harrop formulas with negation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)