An Introduction to database systems - DATE (Addison Wesley, 2004)