View Updating and Relational Theory