Logic, algebra and databases - Peter M.D. Gray (John Wiley and Sons)