Deductive database
Deductive databases are an "extension" of the relational database with a deduction component .
This inference component uses inference rules based on the predicate calculus to extract “ knowledge ” from the data . The rule language is called Datalog - derived from the word Data and the name of the logic programming language Prolog .