Logic and Data Bases

Front Cover
Hervé Gallaire, Jack Minker, [Anonymus AC02843240]
Springer US, Nov 30, 1978 - Computers - 458 pages
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

FOREWORD
3
DATA BASES VIEWED THROUGH FORMAL LOGIC
15
NEGATIVE INFORMATION AND DATA BASES
23
Copyright

16 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information