A first course in database system - Ullman, Jeffrey D. (Prentice Hall, 2002)