Chapter

Logic Programming and Databases

Part of the series Surveys in Computer Science pp 1-15

Logic Programming and Databases: An Overview

  • Stefano CeriAffiliated withDipartimento di Matematica, Università di Modena
  • , Georg GottlobAffiliated withInstitut für Angewandte Informatik und Systemanalyse, Abteilung für Verteilte Datenbanken und Expertensysteme, Technische Universität Wien
  • , Letizia TancaAffiliated withDipartimento di Elettronica, Politecnico di Milano

Abstract

This book deals with the integration of logic programming and databases to generate new types of systems, which extend the frontiers of computer science in an important direction and fulfil the needs of new applications. Several names are used to describe these systems:

  1. a)

    The term deductive database highlights the ability to use a logic programming style for expressing deductions concerning the content of a database.

     
  2. b)

    The term knowledge base management system (KBMS) highlights the ability to manage (complex) knowledge instead of (simple) data.

     
  3. c)

    The term expert database system highlights the ability to use expertise in a particular application domain to solve classes of problems, but having access over a large database.