You are here: irt.org | FOLDOC | 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.
(1995-04-27)
Nearby terms: DECwrite « DED « dedicated line « deductive database » deductive tableau » Deep Blue » deep hack mode
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL