给定关系模式R(A₁,A₂,A₃,A₄)，R上的函数依赖集F= {A₁A₃→A₂,A₂→A₃}，R（  ）。若将R分解为ρ={(A₁,A₂,A₄),(A₁,A₃)}，那么该分解是（  ）的。