A first course in database systems - Ullman, Jeffrey D. (Prentice-Hall, 1997)