Standard Article

Deductive Databases

  1. John Grant1,
  2. Jack Minker2

Published Online: 14 DEC 2007

DOI: 10.1002/9780470050118.ecse105

Wiley Encyclopedia of Computer Science and Engineering

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. .

Author Information

  1. 1

    Towson University, Towson, Maryland

  2. 2

    University of Maryland at College Park, College Park, Maryland

Publication History

  1. Published Online: 14 DEC 2007

Abstract

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