Data base systems - Rustin, Randall (Prentice-Hall series in automatic computation, 1972)