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

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

  • DOI https://doi.org/10.1007/978-1-4684-3384-5
  • Copyright Information Springer-Verlag US 1978
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4684-3386-9
  • Online ISBN 978-1-4684-3384-5
  • About this book
Industry Sectors
Electronics
Telecommunications
Aerospace
Pharma