Logic and data bases - Gallaire Herve; Minker Jack (N Y Plenum Press, 1978)
Keywords: Computer logic; Database