Introduction to database systems - Date, C. J.