Milestone : Attribute names being updated

• Let there be the universal relation R = {A1, A2, ..., An}. Any attribute Ak is being updated to Ak'.

• This is basically a renaming of the attribute and needs to only be propagated down through the sets F, D and Q. In this example, by using the relational model notation, we can rename by :

• ρAk'ΠAk(R)