Logic, algebra and databases - Gray, Peter M. D., 1940- (Ellis Horwood Series in Computers and their Applications, 1985)