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