introduction to database systems - Date, C J (Addison Wesley, 1985)