Deductive Databases and Logic Programming (International Series in Logic Programming)

This book provides a tutorial introduction to deductive databases - one of the fastest growing areas in database technology. Deductive databases, based on logic, offer the possibility of reducing the complexity of information from databases by applying deductive rules. These databases also promise a closer integration between databases and programming languages. This book first takes the reader step by step through the basics of logic and logic programming using numerous examples and exercises to illustrate each concept. It then surveys developments in deductive databases, with special attention to query optimization and integrity constraints. Features * Tutorial approach to one of the most topical areas in database technology. * No prior knowledge of logic programming and Prolog required. * Provides steps for designing a prototype deductive database. * Includes chapters on query optimization and integrity constraints.