The theory of relational databases. - Pitman books limited, 1983. - ( Computer software engineering series ).