Investigación básica y aplicada en bases de datos deductivas

Abstract

Con el proyecto presente: “investigación básica y aplicada en Bases de Datos Deductivas”; se pretende avanzar en el estudio, aplicaciones y desarrollo de técnicas para el procesamiento de consultas recursivas para bases de datos deductivas, tendientes a ofrecer alternativas de nuevas prestaciones en Bases de datos relacionales. Constituyendo, por sus características en un encuentro entre conceptos teóricos provenientes de la Lógica Computacional, y del Álgebra Relacional para bases de datos; con técnicas de programación y desarrollo para la implementación de algoritmos concretos de aplicación. Cabe destacar también que toda la investigación y desarrollo se formaliza y documenta con técnicas de especificación formal del método RAISE. El presente proyecto está categorizado con categoría “A”, la máxima, que lo sitúa en la línea de prioridades de la Facultad de Ingeniería de la UNJu; y se enmarca dentro de un proyecto general de la línea PICTO tendiente a implementar una base de datos de composición de alimentos para Argentina y Latinoamérica. Otro aspecto que contempla el presente proyecto es el de contribuir a la formación de recursos humanos; ya que como parte del mismo se desarrolla una tesis de maestría en Ingeniería del Software y un proyecto final para el grado de Ingeniero Informático.