传递函数依赖：
·在R(U)中，如果X-->Y(Y⊊X)，Y-/->X，Y-->Z，Z⊊Y，则称Z对X传递函数依赖。记为：X-->Z^(传递).
注意：如果X-->Y，即X<-->Y，则Z直接依赖于X，而不是传递函数依赖。