Foundations of databases / Serge Abiteboul, Richard Hull, Victor Vianu. - Abiteboul, S. (Serge) (Addison-Wesley, 1995)