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