Logic,Algebra and Databases - GRAY, Peter M D. (New York John Wiley & Sons, 1984)