函数依赖：函数依赖是关系模式中属性之间的一种逻辑依赖关系

假设有A、B两个函数，A → B（A 决定 B，即A推出B，也叫做B函数依赖于A）

平凡函数依赖：当属性集Y是属性集X的子集时，必然存在函数依赖X→Y，这种类型称为平凡的函数依赖

有函数A、B，B是A的子集（即B里面的内容，A都有，但A的内容B不一定有），即一定有 A → B

非平凡函数依赖：如果Y不是X的子集，则X→Y为非平凡的函数依赖

有函数A、B，B是A不是B的子集（也就是B里面至少有一些属性是A没有的），还有 A → B，即这种类型叫做非平凡函数依赖

部分函数依赖：X的某个真子集X’，有X’→Y，则称Y对X部分函数依赖

{A, B} = X， X → Y，A → Y or B→ Y ，一个整体能推出一个函数，整体中的部分也可以推出一个函数，即这就是部分函数依赖

完全函数依赖：X的任何一个真子集X’，都没有X’→Y，则称Y对X完全函数依赖

{A, B} = X， X → Y，但X的部分属性，A、B并不能推出一个函数，只有整体的时候能，这就是完全函数依赖

传递函数依赖：若X→Y，没有Y→X，Y→Z，Y∉X，Z∉Y，则称Z对X传递函数依赖

范式：把关系模式规范化过程中为不同程度的规范化要求设立的不同的标准称为范式

无损连接分解：将泛关系模式R分解成数据库模式ρ，则称分解ρ相对于函数依赖集F是无损连接分解

题目一般都是给所有属性，分解后的p，还有函数依赖给你，让你求是否是无损连接分解

保持函数依赖分解：把R分解成R1,R2,…,Rk后，函数依赖集F应被F在这些Ri上的投影所蕴含，则称分解ρ是保持函数依赖集F的分解

这个也是给分解后的，然后让你求是否是保持函数依赖

欢迎大家关注下个人的「公众号」：独醉贪欢