LENGUAJE. 

Utiliza un subconjunto del lenguaje Prolog llamado Datalog el cual es declarativo y permite

al ordenador hacer deducciones para contestar a consultas basándose en los hechos y

reglas almacenados.

Ventajas

• Uso de reglas lógicas para expresar las consultas.
• Permite responder consultas recursivas.
• Cuenta con negaciones estratificadas.
• Capacidad de obtener nueva información a través de la ya almacenada en la base de datos mediante inferencia.
• Uso de algoritmos de optimización de consultas.
• Soporta objetos y conjuntos complejos.

Desventajas.

• Crear procedimientos eficaces de deducción para evitar caer en bucles infinitos.
• Encontrar criterios que decidan la utilización de una ley como regla de deducción.
• Replantear las convenciones habituales de la base de datos.

FASES.

Fase de Interrogación: se encarga de buscar en la base de datos informaciones deducibles

implícitas. Las reglas de esta fase se denominan reglas de derivación.

Fase de Modificación: se encarga de añadir a la base de datos nuevas informaciones

deducibles. Las reglas de esta fase se denominan reglas de generación.

INTERPRETACIÓN.

Encontramos dos teorías de interpretación de las bases de datos deductivas:

Teoría de Demostración: consideramos las reglas y los hechos como axiomas.

Los hechos son axiomas base que se consideran como verdaderos y no contienen

variables.

Las reglas son axiomas deductivos ya que se utilizan para deducir nuevos hechos.

Teoría de Modelos: una interpretación es llamada modelo cuando para un conjunto

específico de reglas, éstas se cumplen siempre para esa interpretación. Consiste en

asignar a un predicado todas las combinaciones de valores y argumentos de un dominio

de valores constantes dado. A continuación se debe verificar si ese predicado es

verdadero o falso.

MECANISMOS.

Existen dos mecanismos de inferencia:
Ascendente: donde se parte de los hechos y se obtiene nuevo aplicando reglas de
inferencia.
Descendente: donde se parte del predicado (objetivo de la consulta realizada) e intenta
encontrar similitudes entre las variables que nos lleven a hechos correctos almacenados

en la base de datos.