DEDUCTIVE DATABASES.

Saved in:

Bibliographic Details
Title:	DEDUCTIVE DATABASES.
Authors:	Minker, Jack¹
Source:	Encyclopedia of Electrical & Electronics Engineering. 1999 1st Edition, Vol. 5, p97-107. 11p.
Subjects:	Deductive databases, Information storage & retrieval systems, First-order logic, Databases, Modern logic, Mathematical functions
Abstract:	This article presents information on deductive databases (DDBs). The field of deductive databases is based on logic. The computational paradigm of deductive databases is to use rules that are provided with the database to derive new data from facts in the database. DDBs restrict arguments of atomic formulas to constants and variables, whereas in first-order logic, atomic formulas may also contain function symbols as arguments. This assures that answers to queries in DDBs return a finite set of answers.
Database:	Engineering Source

Description
Abstract:	This article presents information on deductive databases (DDBs). The field of deductive databases is based on logic. The computational paradigm of deductive databases is to use rules that are provided with the database to derive new data from facts in the database. DDBs restrict arguments of atomic formulas to constants and variables, whereas in first-order logic, atomic formulas may also contain function symbols as arguments. This assures that answers to queries in DDBs return a finite set of answers.