一个好的关系模式分解应该具有2个性质:无损连接性和依赖保持性。
一:无损连接的分解
分解的各个关系模式做自然连接和原来的关系模式一样。
无损连接性的算法。
如果只有2个分解的关系模式,那么可以用更方便的方法:如果它们的交集能够函数确定它们的差集,那么就是无损连接性的。
二:保持函数依赖的分解
函数依赖集F在属性W上的投影是{X->Y|X->Y属于F的闭包,并且X并Y是W的子集}的覆盖。
保持函数依赖的分解就是各个投影做并集闭包等于F的闭包。
依赖保持性的算法。
以上就是我对于关系模式的分解的认识。