DEDUCTIVE DATABASES.
Saved in:
| Title: | DEDUCTIVE DATABASES. |
|---|---|
| Authors: | Minker, Jack1 |
| 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 |
Be the first to leave a comment!
