函数依赖(理论及举例)