Las dependencias multivaluadas en el proceso deductivo bajo una semántica conjuntista

Abstract

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.