Logic And Databases door Chris J. Date