Advertisement

Logic Programming and Databases

  • Stefano Ceri
  • Georg Gottlob
  • Letizia Tanca

Part of the Surveys in Computer Science book series (SURVEYS)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Logic Programming and Databases: An Overview

    1. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 1-15
  3. A Review of Relational Databases and Prolog

    1. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 16-26
  4. Coupling Prolog to Relational Databases

    1. Front Matter
      Pages 27-27
    2. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 29-39
    3. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 40-64
    4. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 65-74
  5. Foundations of Datalog

    1. Front Matter
      Pages 75-75
    2. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 77-93
    3. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 94-122
  6. Optimization Methods for Datalog

    1. Front Matter
      Pages 123-123
    2. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 124-144
    3. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 145-162
    4. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 163-207
    5. Stefano Ceri, Georg Gottlob, Letizia Tanca
      Pages 208-245
  7. Back Matter
    Pages 267-284

About this book

Introduction

The topic of logic programming and databases. has gained in­ creasing interest in recent years. Several events have marked the rapid evolution of this field: the selection, by the Japanese Fifth Generation Project, of Prolog and of the relational data model as the basis for the development of new machine archi­ tectures; the focusing of research in database theory on logic queries and on recursive query processing; and the pragmatic, application-oriented development of expert database systems and of knowledge-base systems. As a result, an enormous amount of work has been produced in the recent literature, coupled with the spontaneous growth of several advanced projects in this area. The goal of this book is to present a systematic overview of a rapidly evolving discipline, which is presently not described with the same approach in other books. We intend to introduce stu­ dents and researchers to this new discipline; thus we use a plain, tutorial style, and complement the description of algorithms with examples and exercises. We attempt to achieve a balance be­ tween theoretical foundations and technological issues; thus we present a careful introduction to the new language Datalog, but we also focus on the efficient interfacing of logic programming formalisms (such as Prolog and Datalog) with large databases.

Keywords

Anfrage-Optimierungstechniken Datalog Experten-Datenbanksystem Extension Prolog computer science database database systems deductive database knowledge knowledge base logic logic programming optimization relational database

Authors and affiliations

  • Stefano Ceri
    • 1
  • Georg Gottlob
    • 2
  • Letizia Tanca
    • 3
  1. 1.Dipartimento di MatematicaUniversità di ModenaModenaItaly
  2. 2.Institut für Angewandte Informatik und Systemanalyse, Abteilung für Verteilte Datenbanken und ExpertensystemeTechnische Universität WienWienAustria
  3. 3.Dipartimento di ElettronicaPolitecnico di MilanoMilanoItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-83952-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-83954-2
  • Online ISBN 978-3-642-83952-8
  • Series Print ISSN 1431-9330
  • Buy this book on publisher's site