在将关系模式R＜U，F＞分解为关系模式R₁＜U₁，F₁＞，R₂＜U₂，F₂＞，…，R_n＜U_n，F_n＞时，若对于关系模式R的任何一个可能取值r，都有r=r₁*r₂*……*r_n，即r在R₁，R₂，…， R_n上的投影的自然连接等于r，则称关系模式R的这个分解具有（）。