Deductive database in dbms

Facts are specified in a manner similar to the way relations are specified but it does not include attribute names whereas rules are virtual relations (views in a relational database) that are not actually stored but that can be formed from the facts by applying inference mechanism.

How to integrate deductive and object oriented databases?

There are several approaches to the integration of deductive and object-oriented databases .
They mostly fall into three categories:

a) object-oriented (00) extensions to Datalog
[2
3]
b) 00 extensions to Prolog
[101
109
151]
c) 00 extensions to first-order logic programming [39
92
93]

What is a deductive database?

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

Categories