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日
Nearby terms:
dedicated line ♦ deductive database ♦ deductive tableau ♦ Deep Blue
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading