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 |
