设关系模式R＜U，F＞分解为关系模式R₁＜U₁，F₁＞，R₂＜U₂，F₂＞，…，R_n＜U_n，F_n＞，若F^＋=(F₁∪F₂∪…∪ F_n)^＋，F所逻辑蕴涵的函数依赖一定也由分解得到的各个关系模式中的函数依赖所逻辑蕴涵，则称关系模式R的这个分解是______的。