Milestone : Functional dependencies being updated

• Let there be the set of function dependencies F = {F1, F2, ..., Fn}. Any functional dependency Fk is being updated to Fk'.

• In this example, by using the relational model notation, we can rename by :

• ρFk' ΠFk (F)