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