通过反复使用保证无损连接性，又保持函数依赖的分解，能保证分解之后的关系模式至少达到（ ）。