Logic Programming and Databases by Georg Gottlob & Stefano Ceri