先化简，再求值：（4x²-4x+7）-2（x²-x+3），其中x=-1．

关系模式规范化过程中，若要求分解保持函数依赖，那么模式分解一定可以达到3NF，但不一定能达到　　【14】　　。