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