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.
Keywords: deductive database; datalog; extended database; disjunctive database; answer set semantics