Pegue um banco de dados com informações contidas nas relações básicas, explicitamente inseridas e adicione a capacidade de definir regras (dedutivas) que permitem derivar novos dados à partir das relações básicas, podendo deduzir ou inferir informação adicional a partir de fatos que estão armazenados.