Logic And Databases by Chris J. Date