Una base de datos deductiva es un sistema de base de datos que puede sacar conclusiones sobre sus datos basándose en un conjunto de reglas y hechos bien definidos. Este tipo de base de datos se desarrolló para combinar la programación lógica con los sistemas de administración de bases de datos relacionales. Normalmente, el lenguaje utilizado para definir las reglas y los hechos es el lenguaje de programación lógico Datalog.

Datos, Datalog, términos de programación