JAIME
SÁNCHEZ HERNÁNDEZ
Profesor titular de universidad
SUSANA
NIEVA SOTO
Profesora titular de universidad
Publications by the researcher in collaboration with SUSANA NIEVA SOTO (7)
2020
-
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems
Information and Computation, Vol. 271
2014
-
An extended constraint deductive database: Theory and implementation
Journal of Logic and Algebraic Programming, Vol. 83, Núm. 1, pp. 20-52
2013
-
Formalizing a broader recursion coverage in SQL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
R-SQL: An SQL database system with extended recursion
Electronic Communications of the EASST
2009
-
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
-
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
-
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)