怎样求函数依赖在属性集上的投影,这个定义我看不懂

[renzha1g]

1．4、保持函数依赖的分解
设F是属性集U上的FD集，Z是U的一个子集，F在Z上的一个投影πz（F）表示，定义为：
πz（F）={X ->Y|X-> Y(- F+且XY Z}
定义：设关系R的一个分解ρ={R1，R2，…,RK},F是R上的一个FD集，如果F+=（ πRi(F)）+,则称分解ρ保持函数依赖。