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