无损分解性质:如果关系模式R的一个分解{R1, R2, …, Rm}是关于函数依赖F的无损连接分解,并且每个子关系Ri的分解{Q1, Q2, …, Qn}具有关于函数依赖F在Ri上的投影的无损连接性质,那么R的分解{R1, R2, …, Q1, Q2, …, Qn, …, Rm}也将具有关于函数依赖F的无损连接性质。