完全函数依赖

full functional dependence