Logic and data bases - Gallaire, Herve (Plenum Press - New York, 1978)