Logic and data bases - Gallaire, Hervé; Minker, Jack (Plenum Pr., 1978)