Bade de datos basadas en la lógica

Bases de datos basadas en la lógica
Resumen
Las bases de datos basadas en la lógica utilizan en gran parte la lógica matemática para de esta manera deducir información no almacenada en la base de datos. Por esta razón es muy utilizada en la inteligencia artificial, debido al hecho que solo es necesario especificar un conjunto de reglas para de esta manera inferir en hechos. Sin embargorequiere de cierta complejidad para su manejo, por lo general se le relaciona con la programación lógica y con lenguajes declarativos como Prolog, y Datalog un subconjunto del anterior. “la semántica por teoría de modelos de la lógica proporciona una base para la representación del conocimiento, y la semántica por teoría de la demostración proporciona una base para la computación”1 Es por esta razónque existe una estrecha relación entre las bases de datos basadas en la lógica y la programación lógica, incluso es posible definir a ésta como un programa lógico. Las bases de datos deductivas son muy usadas en la inteligencia artificial, representación del conocimiento, sistemas expertos, sistemas de información, integración de datos entre otros.

Debido a su gran complejidad es posibleexpresar relaciones y conjuntos complejos, Las bases de datos deductivas se definen como pero muchas veces si no se tiene cuidado se un sistema de bases de datos con la capacidad puede incurrir en errores. de definir reglas con el propósito de deducir o inferir información.2

Definición

Introducción

Las bases de datos basadas en la lógica también conocidas como “bases de datos deductivas”(BDD's) son sistemas de bases de datos basados en la lógica matemática y las cuales permiten hacer deducciones a través de inferencias, basándose principalmente en reglas (axiomas) y hechos almacenados en la base de datos con el propósito de deducir o inferir información adicional.

Gran parte de los fundamentos teóricos de éstos sistemas, residen en la lógica matemática, es por ésta razón que es muycomún que se utilice el termino “base de datos basadas en la lógica”. Estos sistemas hacen uso de lenguajes de programación declarativos, el cual tiene como función principal especificar lo que el

1 J.W. Lloyd. Computational Logic, 1990 2Tejada Castillo Luis, Vejarano Sandoval Yuri, El uso de la lógica matemática es muy común Alvarez Alvarez Gustavo. Base de datos en el campo de la ciencia dela computación, deductivas, 2008. 1

programa de base de datos desea lograr, pero inferencia basados en las especificaciones de omitiendo el proceso de como hacerlo. Luego las reglas. una maquina de inferencia lo interpretará con el propósito de deducir datos. Características El modelo utilizado por las BDD's está Entre algunas de las principales características relacionado con el modelo dedatos relacional 3, de las bases de datos basadas en la lógica el cálculo relacional4 y la programación matemática se encuentran: lógica5. • Posee la capacidad de expresar Una BDD's utiliza dos tipos de consultas por medio de reglas lógicas. especificadores, los cuales son los hechos y • Permite consultas recursivas y las reglas, los cuales se definen a continuación. algoritmos eficientes para suevaluación. • Hechos: • Cuenta con negaciones estratificadas. • Soporta objetos y conjuntos complejos. Son especificados de manera similar a las • Cuenta con métodos de optimización relaciones, en una BDD's el significado del que garantizan la traducción de valor del atributo queda determinado por su especificaciones dentro de planes posición dentro de la tupla (una lista de eficientes de acceso.objetos) • Su lenguaje de definición de datos • Reglas:
•

(DDL) es DataLog y no SQL (basado
en el álgebra relacional).

Son similares a las vistas de las bases de datos relacionales, especifican relaciones virtuales que no están almacenadas realmente, pero que se pueden formar a partir de los hechos. Esto se logra aplicando mecanismos de

En lugar de relaciones entre entidades, posee...