Foundations of Databases (1995)

by S Abiteboul, R Hull, V Vianu