Bases de datos basadas en la lógica

Velásquez Núñez, Yader José

Universidad Americana
2010

Resumen “la semántica por teoría de modelos de la

lógica proporciona una base para la
Las bases de datos basadas en la lógica utilizan representación del conocimiento, y la
en gran parte la lógica matemática para de esta semántica por teoría de la demostración
manera deducir información no almacenada en proporciona una base para la computación”1
la base de datos. Por esta razón es muy Es por esta razón que existe una estrecha
utilizada en la inteligencia artificial, debido al relación entre las bases de datos basadas en la
hecho que solo es necesario especificar un lógica y la programación lógica, incluso es
conjunto de reglas para de esta manera inferir posible definir a ésta como un programa
en hechos. lógico.

Sin embargo requiere de cierta complejidad Las bases de datos deductivas son muy usadas
para su manejo, por lo general se le relaciona en la inteligencia artificial, representación del
con la programación lógica y con lenguajes conocimiento, sistemas expertos, sistemas de
declarativos como Prolog, y Datalog un información, integración de datos entre otros.
subconjunto del anterior.
Definición
Debido a su gran complejidad es posible
expresar 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
Introducción
Gran parte de los fundamentos teóricos de
Las bases de datos basadas en la lógica éstos sistemas, residen en la lógica
también conocidas como “bases de datos matemática, es por ésta razón que es muy
deductivas” (BDD's) son sistemas de bases de común que se utilice el termino “base de datos
datos basados en la lógica matemática y las basadas en la lógica”.
cuales permiten hacer deducciones a través de
inferencias, basándose principalmente en Estos sistemas hacen uso de lenguajes de
reglas (axiomas) y hechos almacenados en la programación declarativos, el cual tiene como
base de datos con el propósito de deducir o función principal especificar lo que el
inferir información adicional. 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 de la 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 de datos 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 su
evaluació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
(DDL) es DataLog y no SQL (basado
• Reglas: en el álgebra relacional).
• En lugar de relaciones entre entidades,
Son similares a las vistas de las bases de datos posee predicados, y en lugar de las tuplas
relacionales, especifican relaciones virtuales aparecen los hechos.
que no están almacenadas realmente, pero que • Modelado semántico y uniformidad en
se pueden formar a partir de los hechos. la representación.
• Posibilidad de inferir información a
Esto se logra aplicando mecanismos de partir de los datos almacenados.

3 El modelo relacional es un modelo de datos Manejo

basado en la lógica de predicados y en la teoría de
conjuntos, es el modelo más utilizado en la
Como ya se había descrito anteriormente las
actualidad para modelar problemas reales y
administrar datos dinámicamente. bases de datos basadas en la lógica hacen uso
4 El cálculo relacional es un lenguaje de consulta de lenguajes declarativos, y posee una estrecha
que describe la respuesta deseada sobre una base relación con la programación lógica y el
de datos sin especificar como obtenerla, siendo de lenguaje Prolog6, el cual ha sido utilizado
tipo declarativo. como punto de partida.

5 La programación lógica consiste en la aplicación 6 Es un lenguaje de programación lógico e

del conocimiento sobre lógica para el diseño de interpretado, bastante conocido en el medio de
lenguajes de programación. investigación en Inteligencia artificial.

2
 También se le conoce como encadenamiento
Sin embargo el lenguaje utilizado para definir hacía atrás o resolución descendente. En éste
las reglas es un subconjunto de Prolog, mecanismos se inicia del predicado e intenta
llamado Datalog. encontrar coincidencias con las variables que
conduzcan a hechos válidos (que lo
Las BDD's se componen de cláusulas de Horn satisfagan).
que constituyen reglas del tipo “modus
ponendo ponens” de la lógica matemática, es Ventajas
decir, si el antecedente es verdadero entonces
el consecuente también lo será. Entre las principales ventajas de las bases de
datos lógicas se encuentran:
Sin embargo en la sintaxis de Datalog se
empieza por escribir primero el consecuente, • Tener la capacidad de expresar
seguido del antecedente. consultas por partes de reglas lógicas.
• Permitir consultas recursivas y
Sistema de inferencia algoritmos eficientes para su
evaluación.
Datalog no cuenta con instrucciones de • Soportar objetos y conjuntos complejos.
control, por esta razón se utilizan los conceptos • Infieren información a partir de datos
de unificación y backtracking. almacenados por medio de formulas
lógicas.
La unificación consiste en crear subconjuntos
de clausulas para ser ejecutadas, Datalog
Desventajas
selecciona cada uno de estos conjuntos hasta
que determina si es verdadera.
Entre algunas desventajas del uso de las base
de datos deductivas se encuentran:
Mientra no se determine que un subconjunto es
verdadero, entra en acción el backtranking, el
cual deshace todo lo ejecutado y sitúa al • Dificultad para encontrar criterios que
programa en el punto de inicio, para que permitan a una ley, decidir su
continúe con el otro subconjunto. utilización como regla de deducción.
Existen principalmente dos tipos de inferencia: • Dificultad replantear correctamente de
forma deductiva, las convenciones
• Mecanismo de inferencia ascendente: habituales en una base de datos.
• Dificultad de desarrollar procedimientos
También se le conoce como encadenamiento eficaces de deducción.
hacia delante o resolución ascendente. • Posibilidad de crear bucles infinitos.
Consiste en que la maquina de inferencia parte
de los hechos y aplica las reglas para generar
nuevos hechos. Conclusión

• Mecanismo de inferencia descendente: La característica principal de las BDD's es la

capacidad de deducir e inferir información por

3
medio de un conjunto de reglas y hechos,
mediante un mecanismo matemático.

Debido a la naturaleza deductiva de las bases

de datos basadas en la lógica, son muy usadas
en la inteligencia artificial, sin embargo éstas
en algunos casos son muy complicada de
manejar.

Bibliografía

• MATA MUELA, T. MURILLO

GOMEZ, J.M. Y TELLEZ DE
CEPEDA, J.L. 2009. Modelos
avanzados de base de datos.
• TEJADA CASTILLO, L.
VEJARANO SANDOVAL, Y. Y
ALVAREZ ALVAREZ G. 2008.
Base de datos deductivas.

Datos sobre el autor.

Yader José Velásquez Núnez. Universidad

Americana, Facultad de Ingeniería, Ingeniería
en sistemas de información.

Correo: [email protected]