An introduction to database systems - Date, J C