无损分解 是指对关系模式分解时,原关系模型下任一合法的关系值在分解之后应能通过自然联接运算恢复起来。 有损分解 是指对关系模式分解时,原关系模型下任一合法的关系值在分解之后应不能通过自然联接运算恢复起来。 保持函数依赖的分解 指的是对关系分解时,原关系的闭包与分解后关系闭包的并集相等。