Foundations of Databases - Abiteboul , Hull (New York Addison-Wesley, 1995)