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.



< Previous Terms Terms Containing deductive database Next Terms >
DEC Wars
DECwindows
DECwrite
DED
dedicated line
Aditi
CORAL
database
F-Logic
deductive tableau
Deep Blue
deep hack mode
deep magic
deep space