两个小节，问题的提出和规范化。 主要是规范化，定义比较多 问题的提出 规范化 函数依赖 函数依赖：设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r 中不可能存在：两个元组在X上的属性值相等，而在Y上的属性值不等， 则称“X函数确定Y”或“Y函数依赖于X”，记作X→Y。 平凡与非平凡：X→Y，但Y⊈X则称X→Y是非平凡的函数依赖。X→Y，但Y⊆X 则称X→Y是平凡的函数依赖。 若X→Y，则X称为这个函数依赖的决定因素 若X→Y，Y→X，则记作X←