A First course in database systems - Ullman, Jeffrey D (1997)