Theory of Ralational Databases - David Maier (Pitman, 1983)