��无损连接分解的形式化定义如下：
��令R为关系模式，关系模式集{R1,R2,…,Rn}为R的一个分解，即：R = R1∪R2∪...∪Rn。令r是模式R上的关系，即r(R)，而ri=ΠRi(r)，于是总有：
rír1 �� r2 �� … �� rn。
令C表示数据库上的约束集。如果对模式R上满足C的所有合法关系r，均有：
r=ΠR1(r) �� ΠR2(r) �� … �� ΠRn(r)
那么，{R1,R2,…,Rn}就是关于R的无损连接分解。
��