Tesis doctoral de José Francisco Aldana Montes
El presente trabajo estudia la evaluación paralela y distribuida de consultas datalog con negación estratificada. Utiliza un modelo computacional de flujo de datos que emplea para obtener resultados tanto en la evaluación como en la optimización por reescritura de consultas datalog. desde el punto de vista de la evaluación, se ofrece un algoritmo que, al eliminar cómputos redundantes que aún están presentes en la evaluación desarrollada por el algoritmo semi-ingenuo, produce una evaluación más eficiente que la desarrollada mediante éste. Por otro lado, el modelo computacional de flujo de datos permite la descomposición funcional del programa sin por ello introducir nuevas fuentes de ineficiencia en la evaluación. por último, se desarrollan dos nuevos algoritmos de optimización de consultas que mejoran a los actualmente descritos en la literatura, extendiéndolos con nuevas transformaciones que permiten optimizaciones adicionales. estos algoritmos no solo consideran información sintactica, sino que también utilizan con provecho las restricciones de integridad semántica existentes en la base de datos.
Datos académicos de la tesis doctoral «Un modelo de flujo de datos para la evaluacion de consultas en bases de datos deductivas.«
- Título de la tesis: Un modelo de flujo de datos para la evaluacion de consultas en bases de datos deductivas.
- Autor: José Francisco Aldana Montes
- Universidad: Málaga
- Fecha de lectura de la tesis: 01/01/1998
Dirección y tribunal
- Director de la tesis
- José María Troya Linero
- Tribunal
- Presidente del tribunal: Antonio Ramón Vaquero Sánchez
- Ruz Ortiz José J. (vocal)
- Felix Saltor Soler (vocal)
- Matilde Celma Gimenez (vocal)