关系数据理论规范化函数依赖FD码范式1NF2NF3NFBCNF数据依赖的公理系统候选码的算法模式的分解无损连接性求最小依赖集：3NF保持依赖分解：3NF保持依赖和无损分解： 规范化 函数依赖FD 部分函数依赖：设X,Y是关系R的两个属性集合，存在X→Y，若X’是X的真子集，存在X’→Y，则称Y部分函数依赖于X。（通过AB能得出C，通过A也能得出C，通过B也能得出C，那么说C部分依赖于AB） 完全函数依赖：设X,Y是关系R的两个属性集合，X’是X的真子集，存在X→Y，但对每一个X’都有X’!→Y，