Depuración de Datalog y mejoras en Acide

Las bases de datos deductivas, mediante la definición de reglas, tienen la capacidad de inferir información a partir de información que ya tienen almacenada de forma explícita. DES es un sistema que permite trabajar a través de una consola con bases de datos deductivas. ACIDE es un entorno de desarrollo gráfico de código abierto multiplataforma especializado en bases de datos para el Álgebra Relacional, TRC, DRC, Datalog y SQL que, en este trabajo, está configurado para trabajar con funciones específicas de DES. También puede configurarse para usarse con intérpretes o compiladores. La depuración de programas implementados con lenguajes declarativos como Datalog (lenguaje de consulta para bases de datos deductivas), para detectar la fuente de un error, requiere herramientas específicas debido a que el flujo de ejecución de dichos programas no es claro al ocultar sus mecanismos de resolución. Aunque el sistema DES incluye una herramienta de depuración textual para programas implementados con el lenguaje declarativo Datalog que ayuda a los programadores a encontrar errores en los mismos, la herramienta tiene una utilidad limitada: Durante el proceso de depuración no permite deshacer acciones ejecutadas ni inspeccionar a través de la interfaz de consola el contenido de un elemento que no se esté depurando en ese momento. También fuerza a que el usuario se deba encargar de recordar la sintaxis de los diferentes comandos necesarios para llevar a cabo una sesión de depuración. Debido a estas limitaciones entre otras, surge la necesidad de implementar una herramienta de depuración gráfica de programas Datalog que consigue extender las funcionalidades que ya de por sí ofrece la herramienta de depuración textual del sistema DES. Mi contribución a la versión de ACIDE que me ocupa ha sido, en primer lugar, la implementación de una herramienta de depuración gráfica de programas Datalog 6 en ACIDE y, en segundo lugar, la realización de mejoras en la interfaz gráfica ACIDE como las siguientes: inclusión de la cadena deshacer-rehacer durante una sesión de depuración SQL, localización dinámica a los diferentes idiomas en secciones faltantes, proporcionar más información de cada nodo durante una sesión de depuración SQL, etc