Datalog and Logic Databases

Datalog is a declarative query language for relational databases based on the logic programming paradigm. Recent years have witnessed a revival of interest in Datalog in a variety of emerging application domains. The aim of this book is to present the basics of Datalog, some of its extensions, and recent applications to different domains.