Logic, algebra and databases - Gray, Peter M. D. 1940- (Computers and their applications, 1985)