The DICT Development Group
1 definition found
for deductive database
From The Free On-line Dictionary of Computing (30 December 2018) :
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.
Contactfirstname.lastname@example.org Specification=RFC 2229