求各关系模型中最小函数依赖集和是否达到3NF，如未达到怎么分解