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