Deductive database

Deductive databases are an "extension " of the relational database to a deduction component.

This deduction component uses inference rules based on the predicate calculus to extract "knowledge" from the data. The rule language called Datalog - derived from the word data and the name of the logic programming language Prolog.