Logic and data bases - Gallaire H and Minker J