单选题 任意一个二目关系,在函数依赖的范围内满足的最高范式为______ 。