无损联接分解、还原



无损联接分解 
定义：无损联接分解是将一个关系模式分解成若干个关系模式后，通过自然联接和投影等运算仍能还原到原来的关系模式，则称这种分解为无损联接分解。    
可还原    
例1：关系模式：成绩（学号，姓名，课程号，课程名，分数）
函数依赖：学号->姓名，课程号->课程名， （学号，课程号）->分数 若将其分解为下面三个关系模式：  
成绩（学号，课程号，分数） 学生（学号，姓名） 课程（课程号，课程名）
问，这样的分解是无损分解么？ ----
由于：学号->姓名，所以：
成绩（学号，课程号，分数，姓名） 由于：课程号->课程名，所以：
成绩（学号，课程号，分数，姓名，课程名）  
所以这个例子是无损分解