Advertisement

Logic and Data Bases

  • Hervé Gallaire
  • Jack Minker

Table of contents

  1. Front Matter
    Pages i-viii
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Herve Gallaire, Jack Minker, Jean Marie Nicolas
      Pages 3-30
  3. Data Bases Viewed Through Formal Logic

    1. Front Matter
      Pages 31-31
    2. J. M. Nicolas, H. Gallaire
      Pages 33-54
    3. Raymond Reiter
      Pages 55-76
    4. Robert Kowalski
      Pages 77-103
  4. Knowledge Representation and Deduction

    1. Front Matter
      Pages 105-105
    2. Charles Kellogg, Philip Klahr, Larry Travis
      Pages 179-200
    3. Marco Colombetti, Paolo Paolini, Giuseppe Pelagatti
      Pages 237-257
    4. Sten-Åke Tärnlund
      Pages 259-289
  5. Negative Information and Data Bases

    1. Front Matter
      Pages 291-291
    2. Keith L. Clark
      Pages 293-322
  6. Logic and Data Base Integrity

    1. Front Matter
      Pages 323-323
    2. J. M. Nicolas, K. Yazdanian
      Pages 325-344
  7. Query Languages and Applications

    1. Front Matter
      Pages 345-345
    2. I. Futó, F. Darvas, P. Szeredi
      Pages 347-376
    3. Werner Dilger, Gisela Zifonun
      Pages 377-408
    4. Alain Pirotte
      Pages 409-436
  8. Back Matter
    Pages 437-458

About this book

Keywords

Area Logic Mathematica framework group interaction mathematical logic review techniques time

Editors and affiliations

  • Hervé Gallaire
    • 1
  • Jack Minker
    • 2
  1. 1.Centre d’Etudes et de Recherches de ToulouseToulouseFrance
  2. 2.University of MarylandCollege ParkUSA

Bibliographic information

Industry Sectors
Pharma
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace