Definición de Sistema de base de datos deductivas

Cualidad que tienen algunos sistemas de base de datos, en las que se definen reglas de deducción para inferir nueva información a partir de los hechos almacenados en la base de datos. Esto se logra escribiendo un programa de procedimiento que especifica las reglas de manera declarativa como reglas de deducción, luego son compiladas y mantenidas por el SGBD.