DISEÑO BASE DE DATOS DEDUCTIVAS

TABLA DE CONTENIDO

Introduccion 3
Desarrollo 4
Axiomas deductivos 5
Calculo proposicional 5
Leyes distribuitivas 5
Leyes de De Morgan 5
Calculo de predicados 6
Predicados 6
Formulas bien formadas 6
Interpretaciones y modelos 7
Las bases de datos desde la perspectiva de la teoría de demostraciones 8
Conclusiones 11
Recomendaciones 12
Refererencias 13









INTRODUCCIONA mediados de los años ochenta comenzó a emerger en la comunidad de investigación sobre bases de datos, una tendencia importante hacia los sistemas de bases de datos basados en la lógica. En la literatura de investigación, comenzaron a aparecer expresiones tales como base de datos lógica, DBMS inferencial, DBMS experto, DBMS deductivo, base de conocimiento, KBMS (sistema de administración debase de conocimiento), lógica como un modelo de datos, procesamiento de consultas recursivas, etcétera. Sin embargo, no siempre es fácil relacionar tales términos, ni las ideas que representan, con los términos y conceptos familiares de base de datos; tampoco es fácil comprender la motivación que hay detrás de una investigación desde una perspectiva de base de datos tradicional. Existe unanecesidad clara de explicar toda esta actividad en términos de las ideas y principios de las bases de datos convencionales. Este capítulo intenta satisfacer esta necesidad.

Por lo tanto, nuestro propósito es explicar de qué tratan los sistemas basados en la lógica desde el punto de vista de alguien que está familiarizado con la tecnología de bases de datos tradicionales, aunque tal vez no tanto con lalógica como tal.

Sin embargo, el principal estímulo para que el interés sobre el tema se expandiera recientemente de manera considerable, parece haber sido la publicación en 1984 de un artículo muy destacado de Reiter.















DESARROLLO

En ese artículo, Reiter caracterizó la percepción tradicional de los sistemas de bases de datos como una teoría de modelos, lo quesignifica en términos generales que:
a) La base de datos puede ser vista, en cualquier momento dado, como un conjunto de relaciones explícitas (es decir, base) donde cada una contiene un conjunto de tupias explícitas, y
b) La ejecución de una consulta puede ser considerada como la evaluación de alguna fórmula especificada (es decir, una expresión con valor de verdad) sobre esas relaciones ytupias explícitas.

Luego Reiter continúa explicando que es posible tener una vista alterna por la teoría de demostraciones y además preferible en ciertos aspectos. En esa vista alterna (de nuevo, en general):
a) La base de datos es vista en cualquier momento dado como un conjunto de axiomas (axiomas "base", que corresponden a valores en dominios y tupias en relaciones base, y además determinadosaxiomas "deductivos", que explicaremos).
b) La ejecución de una consulta es considerada como la demostración de que alguna fórmula especificada es una consecuencia lógica de esos axiomas; en otras palabras, demostrar que es un teorema.

Además, la interpretación por la teoría de demostraciones lleva consigo un conjunto atractivo de características adicionales:
• Uniformidad de representación.Nos permite definir un lenguaje de base de datos en el que los valores en dominios, tupias en relaciones base, "axiomas deductivos", consultas y restricciones de integridad están todos representados esencialmente en la misma forma uniforme.
• Uniformidad operacional. Proporciona una base para un ataque unificado sobre una variedad de problemas aparentemente distintos, incluyendo optimización deconsultas (en especial la optimización semántica), cumplimiento de restricciones de integridad, diseño de base de datos (teoría de dependencias), pruebas de la corrección de programas y otros problemas.
• Modelado semántico. Proporciona las bases sólidas sobre las cuales construir una variedad de extensiones "semánticas" para el modelo básico.
• Aplicación extendida. Por último, proporciona una...