Logic, algebra and databases - Gray, Peter M. D. (Ellis Horwood series in computers and their applications ;, 1984)