Tesis doctoral de Antonio Becerra Teron
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.
Datos académicos de la tesis doctoral «Un lenguaje de bases de datos deductivo basado en la programación lógico funcional«
- Título de la tesis: Un lenguaje de bases de datos deductivo basado en la programación lógico funcional
- Autor: Antonio Becerra Teron
- Universidad: Almería
- Fecha de lectura de la tesis: 16/07/2003
Dirección y tribunal
- Director de la tesis
- Jesús Almendros Jimenez
- Tribunal
- Presidente del tribunal: mario Rodriguez artaleso
- nieves Rodriguez brisaboa (vocal)
- buenaventura Clares rodríguez (vocal)
- salvador Lucas alba (vocal)