deductive database definition database
A combination of a conventional database
, a knowledge base
, and an inference engine
which allows the derivation of information
implied by the facts and rules.
Commonly, the knowledge base is expressed in a subset of first-order logic
and either a SLDNF or Datalog inference engine is used.