deductive database

1 definition found

deductive database - Free On-line Dictionary of Computing (26 May 2007) :

  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.
  
     (1995-04-27)