Logic algebra and databases - Gray, Peter M. D. (Ellis Horwoord series in computers and their applications, 1981)