Explore relationships

Deductive database

A deductive database is a database system that can make deductions (i.e. conclude additional facts) based on and facts stored in its database. Datalog is the language typically used to specify facts, rules and queries in deductive databases.

Use + to expand a branch. Click a topic name to open its summary.