首先引入定义
无损分解指的是对关系模式分解时,原关系模型下任一合法的关系值在分解之后应能通过自然联接运算恢复起来。反之,则称为有损分解。
保持函数依赖的分解指的是对关系分解时,原关系的闭包与分解后关系闭包的并集相等。
从定义来看,可以得到不严格但好理解的——
保持无损连接的模式分解,每个Ui必须包含作为连接的属性。故无损连接的关键是作为桥梁的属性,决定其是否可以通过自然连接恢复。而保持函数依赖的模式分解,是从函数依赖而不是关键属性这个角度入手,产生关联的属性要分到一起(一个Ui中。具体的,可按最小函数依赖集相同左部划分。
当然了这两种分解都是模式分解,必然符合模式分解的大前提,见定义6.16。
具体一点,引入几个分解算法比较一下: