vorfreuder / store_data

0 stars 0 forks source link

数据库原理之范式判断 | H E S I T A T E R #4

Open vorfreuder opened 2 years ago

vorfreuder commented 2 years ago

https://eterniter.github.io/2022/07/10/database/%E6%95%B0%E6%8D%AE%E5%BA%93%E5%8E%9F%E7%90%86%E4%B9%8B%E8%8C%83%E5%BC%8F%E5%88%A4%E6%96%AD/

判断范式的步骤:如何确定候选键 判断3NF需要注意,例如:有F={X→Y,Y→Z,Y→X}如果Y属于X,则Y平凡依赖于X,则Z直接依赖于X,满足3NF;如果Y不属于X,则Y非平凡依赖于X,则Z传递依赖于X,不满足3NF. 例题:(1).R(X,Y,Z) F=(XY→Z)R的候选码为XY非主属性:Z不存在非主属性对候选键部分函数依赖不存在非主属性传递依赖于候选键函数依赖的左边XY为候选键因此此范