完全函数依赖 (Full Functional Dependency):如果 X → Y,并且 Y 不函数依赖于 X 的任何真子集,则称 Y 完全函数依赖于 X [64, 65]。