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