Tag Projection of functional dependency