Logic In Databases by Dino Pedreschi