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