An introduction to database systems - Date (Addison-Wesley, 2000)