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