Lógica y Base de Datos

        Lógica y Bases de Datos

Objetivo:

Base de datos y lógica se interrelacionan como fundamentación y como un enfoque de sistema deductivo en la solución de problemas visto como consultas en la base de datos. Los primeros temas consisten en una revisión de la lógica de predicados de primer orden y la demostración automática de teoremas para, posteriormente, encontrar una fundamentación para las bases de datos en el lenguaje relacional, restricciones de integridad y diseño de base de datos. La segunda parte es usar la aproximación de la lógica como sistema deductivo a las bases de datos con aplicación de algunos sistemas como CORAL a un sistema relacional Posgress. Algunos temas selectos se presentan con la finalidad de una investigación posterior más profunda.

Contenido:

  1. Introducción a la lógica matemática
    • Lógica proposicional
    • Lógica de predicados de primer orden
    • Demostración automática de teoremas
  2. La lógica como fundamento a base de datos
    • El modelo relacional y lógica de predicados de primer orden
    • Restricciones de identidad y lógica
    • Suposición de un mundo cerrado en base de datos
    • Lógica para descripción de datos
  3. Fundamentación lógica en el modelo entidad-relación
    • Estructura jerárquica de la lógica de predicados
    • Restricciones estáticas
    • Dinámica de las bases de datos
    • Generalización de las restricciones relacionales
    • Teoría de normalización de base de datos
  4. Base de datos deductivas
    • Base de datos deductivas y base de datos lógicas
    • Base de datos deductivas definidas
    • Base de datos deductivas indefinidas
    • Base de datos lógicas
  5. Sistemas de base de datos deductivas
    • Sistema R: aproximación relacional a bases de datos
    • Sistema CORAL
    • Estrategias para procesamiento de consultas recursivas
  6. Temas selectos en Base de Datos
    • Lógica no monotónica
    • Suposición del mundo cerrado vs negación bajo falla
    • Retículas y unificación

Bibliografía:

  • S. V. Chapa Vergara; "Lógica clásica"; Departamento de Ingeniería Eléctrica, CINVESTAV, México, 2000.
  • S. V. Chapa Vergara; "Lógica e inteligencia artificial", Departamento de Ingeniería Eléctrica, CINVESTAV, México, 2000.
  • S. V. Chapa Vergara; "Lógica y base de datos"; Departamento de Ingeniería Eléctrica, CINVESTAV, México, 2000.
  • B. Thalheim; "Entity-Relationship"; Springer-Verlag, 2000.
  • Minker J.;  "Foundations of Deductive Databases and Logic Programming", Morgan Kaufmann, Los Altos, CA, 1988.
  • J. Myloupolus, M. L. Brodie; "Artificial Intelligence and Databases"; Morgan Kaufmann, Los Altos, CA, 1988.