Mejora del aprendizaje de SQL con realimentación semántica

Depto. de Ingeniería de Software e Inteligencia Artificial (ISIA)Fac. de InformáticaFALSEsubmitte

Evaluación de la realimentación semántica de SQL en DES

El 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 anterior (curso 2017-2018). Se ha mejorado tanto el componente nuclear DES como la interfaz de usuario web. Los alumnos han usado y evaluado la herramienta en clases de bases de datos de varias facultades, completando las encuentas que se les han proporcionado

Evaluación y mejora de la herramienta on-line DESweb para la enseñanza de bases de datos

El 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 convocatoria anterior

Evaluación y mejora de la herramienta on-line DESweb para la enseñanza de bases de datos (2)

El objetivo es la herramienta DESweb de apoyo a la docencia virtual y presencial para la enseñanza de bases de datos relacionales (SQL) y deductivas (Datalog). Esta solicitud es continuación de un proyecto de la convocatoria anterior

Enhancing set constraint solvers with bound consistency

Constraint solvers have proved to be a powerful tool for both expressing and solving complex problems in many contexts, in particular in Automated Planning and Scheduling. In this work, we propose new constraints to enhancing an implementation of a constraint solver for sets of integers (ic_sets) embedded in the ECLiPSe system. This way, we confer a new vision of modelling that in particular allows a task to be planned on alternate days. In addition, these new constraints make finite domain and finite sets domains to cooperate, reducing the search space and improving the efficiency of the existing set solvers for some specific cases. We report on a prototype implementation and apply these constraints to modelling scheduling problems as benchmarks for a performance analysis. Experiments reveal a relevant improvement with respect to the standard ic_sets solver which only features cardinality as cooperation mechanism between domains. Both enhanced expressiveness and performance are key points for practical applications of such solvers.Depto. de Sistemas Informáticos y ComputaciónFac. de InformáticaTRUEpu