Ir al contenido

Documat


Resumen de Un lenguaje de bases de datos deductivo basado en la programación lógico funcional

Antonio Becerra Terón Árbol académico

  • 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.


Fundación Dialnet

Mi Documat