deductive database


deductive database

(database)A combination of a conventional databasecontaining facts, a knowledge base containing rules, andan inference engine which allows the derivation ofinformation implied by the facts and rules.

Commonly, the knowledge base is expressed in a subset offirst-order logic and either a SLDNF or Dataloginference engine is used.