Logic, algebra and databases - Gray, Peter M. D. (Affiliated East-West Press Pvt Ltd, New Delhi, 1984)