Principles of database and knowledge-base systems - Ullman, Jeffrey David, 1942- (Principles of computer science series, 1988)