第六章大纲 为什么要引入范式?存在的问题 如果三个一组推不出来,那就加两个成为四个一组来推。 范式 1NF 2NF 因为全码都不含有非主属性,所以一定是3NF。 BCNF 不是BCNF的例子 最小函数依赖 依赖就是推导。A->B 就是一个依赖。 模式的分解