Principles of database and knowledge-base systems - Ullman, Jeffrey D., 1942- (Principles of computer Science series., 1988)