Tesis doctoral de Millan Gonzalez Marta Elena Socorro
En este estudio se explora la posibilidad de extender un conjunto de axiomas utilizado en la derivacion de hechos a partir de aquellos registrados en la base de datos y de un conjunto de restricciones de integridad (dependencias funcionales) para considerar dependencias multivaluadas como reglas de inferencia desde un enfoque conjuntista del modelo relacional propuesto por spyratos y lecluse (1986). De esta manera la informacion externa se extiende para considerar tambien reglas de inferencia (dmv). a partir de un conjunto consistente de reglas de inferencia, restricciones de integridad se reformulan los conceptos basicos del enfoque conjuntista del modelo relacional, extendiendolos para considerar dependencias multivaluadas como reglas de inferencia. Se propone, por otra parte, un modelo de interrogacion extendido basado en el propuesto por spyratos y lecluse que incorpora las dmv como reglas de inferencia cuando estas se aplican a tuplas positivas. finalmente, este estudio propone a partir del conjunto de axiomas propuesto por laurent y spyratos (1987) un conjunto de axiomas de deduccion consistente y completo considerando dmv.
Datos académicos de la tesis doctoral «Las dependencias multivaluadas en el proceso deductivo bajo una semantica conjuntista.«
- Título de la tesis: Las dependencias multivaluadas en el proceso deductivo bajo una semantica conjuntista.
- Autor: Millan Gonzalez Marta Elena Socorro
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- María Covadonga Fernández Baizán
- Tribunal
- Presidente del tribunal: Libia Perez Jimenez
- Concepcion Perez Llera (vocal)
- Rafael Portaencasa Baeza (vocal)
- Benjamin Dugnol Alvarez (vocal)