An introduction to database systems, volume II - Date, C. J. (Addison-Wesley, 1983)