updated functional dependencies in Norm 3