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