DEDUCTIVE DATABASE
\dɪdˈʌktɪv dˈe͡ɪtəbˌe͡ɪs], \dɪdˈʌktɪv dˈeɪtəbˌeɪs], \d_ɪ_d_ˈʌ_k_t_ɪ_v d_ˈeɪ_t_ə_b_ˌeɪ_s]\
Sort: Oldest first
-
A combination of a conventional databasecontaining facts, a knowledge base containing rules, andan inference engine which allows the derivation ofinformation implied by the facts and rules.Commonly, the knowledge base is expressed in a subset offirst-order logic and either a SLDNF or Dataloginference engine is used.
By Denis Howe