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

Departamento: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE

Acceso electrónico:

Director/a(s):

• Director/a: 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