Free On-line Dictionary of Computing:
deductive database
A combination of a conventional
database
containing facts, a
knowledge base
containing rules, 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.
(1995-04-27)
