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

This book provides a clear account of the "next generation" database technology illustrating how to reduce additional information from databases by applying deductive rules. The book first takes readers step-by-step through the basics of logic and logic programming and then surveys developments in deductive databases.