Información del autor
Documentos disponibles escritos por este autor (12)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Sáenz Pérez, Fernando | 2011-09-21We have witnessed a new interest on deductive databases, languages and technologies. Also, emerging companies promoting deductive technologies transfer these technological outcomes to practical applications. Datalog, as a preeminent deductive qu[...]texto impreso
Guijarro Mata-García, María ; Santos Peñas, Matilde ; Fuentes Fernández, Rubén ; Sáenz Pérez, Fernando ; Navarro Martín, Antonio ; Fernández Prados, Juan Sebastián ; Vicente Hernanz, María Lina ; Guijarro de Mata-García, Marta ; Prieto Fernández, Lucía Amparo ; Garnica Alcázar, Antonio Óscar ; Jiménez Castellanos, Juan Francisco ; Fernández, Isabel ; Sáez Alcaide, Juan Carlos | 2017-07-03texto impreso
Sáenz Pérez, Fernando ; Correas Fernández, Jesús ; García Merayo, Mercedes ; Gómez Gauchía, Héctor | 2019-06-24El objetivo de este proyecto ha sido evaluar en clase la herramienta de realimentación semántica de consultas SQL, desarrollada sobre el sistema DES, ampliarla y mejorarla. Esta solicitud es continuación de un proyecto de la convocatoria anterio[...]texto impreso
Sáenz Pérez, Fernando ; Francisco Gilmartín, Virginia ; García Merayo, María de las Mercedes ; Garméndia Salvador, Luis ; Gómez Gauchía, Héctor | 2020-07-01El objetivo de este proyecto es evaluar en clase y mejorar la herramienta on-line DESweb para la enseñanza de bases de datos relacionales (con SQL) y deductivas (con Datalog y Prolog). Esta solicitud es continuación de un proyecto de la convocat[...]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
Sáenz Pérez, Fernando | 2015-01-08This work presents how persistent predicates have been included in the in-memory deductive system DES by relying on external SQL database management systems. We introduce how persistence is supported from a user-point of view and the possible ap[...]texto impreso
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
Sáenz Pérez, Fernando | 2015-12-22HypotheticalDatalog is based on an intuitionistic semantics rather than on a classical logic semantics, and embedded implications are allowed in rule bodies. While the usual implication (i.e., the neck of a Horn clause) stands for inferring fact[...]texto impreso
Los lenguajes declarativos en general y los lógico-funcionales en particular poseen una capacidad expresiva para resolver problemas de índole simbólico mayor que los lenguajes imperativos. Sin embargo, esta mayor capacidad expresiva requiere may[...]texto impreso
Nieva Ramos, Silvia ; Bartuilli Pérez, Mónica ; González Calero, Pedro Antonio ; Melle Hernández, Natalia ; Murillo Sanz, Eva ; Pareja Lora, Antonio ; Sáenz Pérez, Fernando ; Schüller Moreno, Maria Teresa | 2015-02-20El proyecto consiste en creación y virtualización de una base de datos audiovisual estructurada de sesiones de evaluación e intervención llevadas a cabo con pacientes que acuden a tratamiento a la Clínica de Logopedia de la UCM con objetivos doc[...]texto impreso
Álvarez Montero, Francisco J. ; Sáenz Pérez, Fernando ; Vaquero Sánchez, Antonio | Elsevier Limited | 2015-02-15Concept maps have been extensively used in education, especially in science teaching. There is strong evidence that their use is associated with increased knowledge transfer and retention across several instructional conditions, settings and met[...]
