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