Logic Ans Data Bases: [proceedings of the Symposium on Logic and Data Bases Held at the Centre D'Études Et de Recherches de L'École Nationale Supérieure de L'Aéronautique Et de L'Espace de Toulouse (C.E.R.T.)

Front Cover
Hervé Gallaire, Jack Minker
Plenum Publishing Company Limited, 1978 - Computers - 458 pages
0 Reviews
Introduction; Data bases viewed through formal logic; Knowledge representation and deduction; Negative information and data bases; Logic and data base integrity; Query languages and applications.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

An Overview and Introduction to Logic and Data Bases
3
DATA BASES VIEWED THROUGH FORMAL LOGIC
15
NEGATIVE INFORMATION AND DATA BASES
23
Copyright

16 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information