Um banco de dados dedutivo é um sistema de banco de dados que pode tirar conclusões sobre seus dados com base em um conjunto de regras e fatos bem definidos. Esse tipo de banco de dados foi desenvolvido para combinar programação lógica com sistemas de gerenciamento de banco de dados relacional. Normalmente, a linguagem usada para definir as regras e fatos é a linguagem de programação lógica Datalog.

Dados, registro de dados, termos de programação