Logic and databases - Gallaire, Herve; Monker, Jack (Plenum, 1978)