Resumen de Un lenguaje de bases de datos deductivo basado en la programación lógico funcional
El objetivo de la tesis es el diseño del lenguaje de bases de datos deductivo indalog, basado en el paradigma de la programación lógico funcional, y utilizando una metodología que integre y extienda las características de sistemas de bases de datos deductivos declarativos basados en programación lógica y programación funcional. Indalog permite la definición de esquemas e instancias inducidas a partir de reglas condicionales de preescritura, manesando instancias infinitas, atributos multivalorados posiblemente infinitos, información parcial, y restricciones de igualdad de desigualdad. Se han definido los fundamentos semánticos de indalog y se ha caracterizado como lenguaje de consulta garantizando la propiedad de independencia del dominio.
También, se han desarrollado formalismos de consulta altenativos, basados en extensiones del cálculo y algebra relacional, probando la equivalencia entre las consultas en indalog, las formulas del cálculo y las expresiones del algebra. Por último se ha desarrollado una semántica operacional basada en evaluaicón BOTTOM-UP dirigida por el objetivo para programas con semantica en CRWL y CRWLF.
Se han probado resultados de adecuación y optimalidad para la semántica operacional.
