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