Información del autor
Documentos disponibles escritos por este autor (4)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
En esta memoria hacemos contribuciones dentro del campo de los lenguajes de bases de datos. Nos hemos propuesto tres objetivos fundamentales: 1. Mejorar la expresividad de los lenguajes de bases de datos actuales. 2. Desarrollar semánticas forma[...]texto impreso
Aranda López, Gabriel ; Nieva Soto, Susana ; Sáenz Pérez, Fernando ; Sánchez Hernández, Jaime | Assoc Computing Machinery | 2009This work is aimed to show a concrete implementation of a deductive database system based on the scheme HH-(C) (Hereditary Harrop Formulas with Negation and Constraints) following a fixpoint semantics proposed in a previous work. We have develop[...]texto impreso
Aranda López, Gabriel ; Nieva Soto, Susana ; Sáenz Pérez, Fernando ; Sánchez Hernández, Jaime | 2013The relational database language SQL:1999 standard supports recursion, but thisapproach is limited to the linear case. Moreover, mutual recursion is not supported,and negation cannot be combined with recursion. We designed the language R-SQLto [...]texto impreso
Aranda López, Gabriel | 2010Las fórmulas de Harrop hereditarias con restricciones se han usado como base para lenguajes de programación lógica. Al igual que la programación lógica da soporte a lenguajes de bases de datos deductivas como Datalog (con restricciones), este ma[...]
