Logical introduction to databases - Grant, John (Harcourt, Brace, Jovanovich, 1987)