Abstract

This book is a collection of substantially revised versions of the majority of the papers presented at the workshop, after peer review. The focus of the book is a comprehensive description of the interaction between logic and data bases. Logic can be used as a programming language, query language, for deductive searches, maintain data base integrity, provide formalism for handling negative information, to generalize concepts in knowledge representation, and to represent and manipulate data structures. Logic provides a unifying mathematical theory for data bases, and a powerful tool for many data base tasks. This book can be used as the basis of a graduate seminar in computer science.