Publisher's Synopsis
Covers in a systematic and intensive manner the theoretical foundations common to both logic programming and deductive databases, with a more specific focus on selected theoretical and practical aspects of deductive databases. Useful as a textbook for graduate courses and as a reference for researchers, the volume is self-contained, providing a com