Logical database theories - ROBINSON, HUGH (Milton Keynes Open University, 1990)