最小函数依赖集唯一吗