Banco de Dados Dedutivo

Introdução
Um mecanismo de dedução (ou inferência) em um sistema pode deduzir novos fatos no banco de dados por meio da interpretação das regras
• O modelo usado pelos BD dedutivos é relacionado ao formalismo do Cálculo Relacional e à Programação Lógica (Prolog).
Uma linguagem declarativa é necessária para a especificação das regras é aquela que especifica o que o programa quer alcançar e não os detalhes de como alcançar. Em sistemas de banco de dados dedutivos, a linguagem declarativa usada é Datalog, um subconjunto da linguagem lógica Prolog.
Definição:
É um sistema de banco de dados que inclui capacidades para definir regras que possam deduzir ou inferir informações adicionais a partir de fatos que estão armazenados no banco de dados
Origem:
Na década de 80, os Sistemas de Bancos de Dados Dedutivos, e em particular o processamento de consultas recursivas, tornou-se uma área muito ativa, com o início de três projetos principais: o projeto Nail! [MOR 86] em Stanford, o projeto LDL [CHI 90] no Microeletronics and Computer Technology Corporation (MCC) em Austin, e o projeto de Banco de Dados Dedutivo no ECRC [VIE 86, VIE 87]. Estes projetos trouxeram significantes contribuições para a pesquisa na área e levaram à construção de protótipos.
Sistemas de Bancos de Dados Dedutivos têm sua origem ligada aos estudos sobre a integração de lógica com Bancos de Dados. Estes estudos procuravam utilizar linguagens de programação em lógica como linguagens de consulta em Sistemas de Banco de Dados
Diferencial:
Um Banco de Dados Dedutivo (BDD) é um Banco de Dados que, além de sua parte tradicional, ou seja, as informações contidas nas relações básicas que são explicitamente inseridas, possui um conjunto de regras dedutivas que permite derivar novas informações a partir das relações básicas.

Conceitos
Linguagem declarativa: define os objetivos do programa
Máquina de Inferência: deduz novos fatos a partir de interpretações das regras no banco de dados
O banco