The theory of relational databases - Maier, David 1953- (Computer software engineering series, 1986)