View Updating and Relational Theory by Chris J. Date