Foundations of databases - Abiteboul, S. (Serge) (Addison-Wesley, 1995)