Advances in data base theory - Gallaire, Herve; Minker, Jack; Nicolas, Jean Marie (Plenum Press, 1981)