Published Online: 14 DEC 2007
Copyright © 2007 by John Wiley & Sons, Inc.
Wiley Encyclopedia of Computer Science and Engineering
How to Cite
Grant, J. and Minker, J. 2007. Deductive Databases. Wiley Encyclopedia of Computer Science and Engineering. .
- Published Online: 14 DEC 2007
In this article define the concept of deductive database including the formal definition of a query and an answer to a query; we provide an historical background for deductive databases; we explain the different types of deductive databases starting with Datalog and including stratified, nonstratified, extended, and disjunctive deductive databases; we discuss various semantics for deductive databases; we list the prototypes and implementations of deductive databases; we also give several applications that cannot be handled by relational and databases and require deductive databases.
- deductive database;
- extended database;
- disjunctive database;
- answer set semantics