Deductive database

A deductive database is a database system that makes conclusions about its data based on a set of well-defined rules and facts. This type of database was developed to combine logic programming with relational database management systems. Usually, the language used to define the rules and facts is the logical programming language Datalog.

Data, Database terms, Programming language, Programming terms