第6章 关系模式的规范化理论.ppt

6.4.2 分解的无损连接性 1）无损连接分解的定义 定义6.12（无损连接分解，即连接不失真分解）：设关系模式R（U，F）上的一个分解为ρ=｛R1(U1,F1)，R2(U2,F2)，…，Rk(Uk,Fk)｝，F是R（U，F）上的一个函数依赖集。如果对R中满足F的任一关系r都有 则称这个分解ρ相对于F的是连接不失真分解或称无损连接分解。 对于关系模式R关于F的无损连接条件是： 任何满足F的关系r有r = mρ(r)。 r 和mρ(r)之间的联系 定理6.4：设R是一关系模式，ρ=｛R1(U1,F1)，R2(U2,F2)，…，Rk(Uk,Fk)｝是关系模式R的一个分解，r是R的任一关系，（1≤i≤k）,那么有： ① ； ② 如果s= mρ(r)，则 ，或 ③ mρmρ(r)= mρ(r) 定理6.4证明 ② 由定理6-5①可知 ，可得到 ，即 （因为s= mρ(r)）（也就是两边同时在Ui上投影，得 ）。 为了证明