Tesis doctoral de Eugenio Santos Menendez
Uno de los problemas mas interesantes en bases de datos deductivas es la resolucion de inferencias linealmente recursivas. El algebra relacional no es equivalente a la logica de primer orden, lo cual constituye un serio problema cuando se construyen sistemas de gestion de bases de datos deductivas, mediante la conexion de sistemas de gestion de bases de datos relacionales y lenguajes logicos de programacion. 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 algebra relacional. En (dugundji 1966) son definidos diferentes operadores algebricos, que pensamos pueden ser la base para la definicion de un lenguaje relacional de consulta con las mismas caracteristicas que el algebra relacional (completitud ar), y que ademas permita la formulacion de consultas linealmente recursivas. partiendo de esta hipotesis, se propone un nuevo operador (el operador de proyeccion inversa), para construir un lenguaje relacional de consulta, basado en algebra 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 esta basado en el lenguaje estandar ansi sql. La correccion tanto del operador elegido como base de la solucion propuesta, como del lenguaje sql/fc que soporta dicha solucion tambien es demostrada.
Datos académicos de la tesis doctoral «Definicion y construccion de un lenguaje relacional de interrogacion con capacidad para expresar inferencias recursivas.«
- Título de la tesis: Definicion y construccion de un lenguaje relacional de interrogacion con capacidad para expresar inferencias recursivas.
- Autor: Eugenio Santos Menendez
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1995
Dirección y tribunal
- Director de la tesis
- María Covadonga Fernández Baizán
- Tribunal
- Presidente del tribunal: Rafael Portaencasa Baeza
- Arturo Ribagorda Garnacho (vocal)
- Angel Garcia Moreno (vocal)
- Lopez Brugos José Antonio (vocal)