deductive database

<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.

Last updated: 1995-04-27

Try this search on Wikipedia, OneLook, Google

Nearby terms:

DECwrite « DED « dedicated line « deductive database » deductive tableau » Deep Blue » deep hack mode