有一个关系模式R(U，F)，U是R的全体属性的集合，F是R上成立的函数依赖的集合，那么对于任意属性A∈U，如果AF+为{A}，那么A是主属性