Tesis:
Las dependencias multivaluadas en el proceso deductivo bajo una semántica conjuntista
- Autor: MILLAN GONZALEZ, Marta Elena del Socorro
- Título: Las dependencias multivaluadas en el proceso deductivo bajo una semántica conjuntista
- Fecha: 1996
- Materia: MATEMÁTICAS. Teseo;CIENCIAS DE LA COMPUTACIÓN. Teseo;BASES DE DATOS. Teseo
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE
- Acceso electrónico:
- Director/a 1º: FERNANDEZ BAIZAN, María Covadonga
- Resumen: En este estudio se explora la posibilidad de extender un conjunto de axiomas utilizado en la derivación 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 información externa se extiende para considerar también reglas de inferencia (dmv). A partir de un conjunto consistente de reglas de inferencia, restricciones de integridad se reformulan los conceptos básicos del enfoque conjuntista del modelo relacional, extendiéndolos para considerar dependencias multivaluadas como reglas de inferencia. Se propone, por otra parte, un modelo de interrogación 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 deducción consistente y completo considerando dmv