The theory of relational databases - Maier, David, 1953- (Computer Science Press, 1983)