Tesis:
Definición y construcción de un lenguaje relacional de interrogación con capacidad para expresar inferencias recursivas
- Autor: SANTOS MENENDEZ, Eugenio
- Título: Definición y construcción de un lenguaje relacional de interrogación con capacidad para expresar inferencias recursivas
- Fecha: 1995
- Materia: BASES DE DATOS DEDUCTIVAS;LENGUAJES
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: FERNANDEZ BAIZAN, María Covadonga
- Resumen: Uno de los problemas más interesantes en Bases de Datos Deductivas es la resolución de inferencias linealmente recursivas. El Algebra Relacional no es equivalente a la Lógica de Primer Orden, lo cual constituye un serio problema cuando se construyen sistemas de gestión de bases de datos deductivas, mediante la conexión de sistemas de gestión de bases de datos relacionales y lenguajes lógicos de programación. Distintos autores han estudiado el problema de la no completitud funcional del Algebra Relacional ((Ioannidis y Wong 1987a), (Agrawal 1987), (Eder 1990), (Ahad y Yao 1993) y (Dar y Agrawal 1993)). La primera referencia delimita claramente el problema, demostrando que no es posible formular consultas linealmente recursivas en álgebra relacional. En (Dugundji 1966) son definidos diferentes operadores algebraicos, que pensamos pueden ser la base para la definición de un Lenguaje Relacional de Consulta con las mismas características que el álgebra relacional (completitud AR), y que además permita la formulación de consultas linealmente recursivas. Partiendo de esta hipótesis, se propone un nuevo operador (el operador de proyección inversa), para construir un lenguaje relacional de consulta, basado en álgebra relacional, que tenga la propiedad de ser funcionalmente completo. Tomando como base dicho operador, en esta tesis se define y construye el lenguaje relacional de consulta, que hemos denominado SQL/FC, que tiene la capacidad de ser completo funcionalmente, y que está basado en el lenguaje estándar ANSI SQL. La corrección tanto del operador elegido como base de la solución propuesta, como el lenguaje SQL/FC que soporta dicha solución también es demostrada