Herramienta para la Evaluación Automatizada de expresiones del lenguaje Cálculo Relacional

Abstract

La Universidad de las Ciencias Informáticas utiliza en la formación de los futuros ingenieros, las nuevas Tecnologías de la Información y las Comunicaciones. Entre los temas que se imparten dentro del proceso de formación del Ingeniero en Ciencias Informáticas se encuentran las bases de datos, contenido que se imparte en las asignaturas Sistemas de Bases de Datos (I y II). Estas incluyen el Cálculo Relacional, lenguaje de manipulación de datos del Modelo Relacional, basado en una rama de la Lógica Matemática, la Lógica de Predicados. La asimilación de este contenido para los estudiantes es compleja, pues se imparte en poco tiempo y la Universidad utiliza hoy recursos para su enseñanza que no son suficientes para su aprendizaje. Lo anterior está apoyado en la inexistencia de herramientas para que los estudiantes puedan autoevaluar su preparación y aprender a través de los errores que cometen, cuando utilizan una estrategia de prueba y error. A partir de esta situación, nace la idea de desarrollar una herramienta capaz de identificar errores y evaluar las consultas que formulan los estudiantes, con el objetivo de facilitar el proceso de enseñanza aprendizaje de este lenguaje. La herramienta realiza un análisis detallado de las expresiones introducidas, indicando los errores y comprobando mediante la traducción al SQL si el resultado es correcto o no. Para comprobar su funcionamiento se efectuarán pruebas al sistema. Esta investigación forma parte de un proyecto de maestría que busca definir un conjunto de herramientas para la enseñanza de las asignaturas de bases de datos.