adb03_1_数据库设计_模式设计.pptVIP

（1）例子 R(city, street, zip), F={(city,street)→zip, zip→city} 分解为p={R1(street,zip),R2(city,zip)} 是否无损连接？ R1?R2＝{zip}, R2－R1＝{city}, zip→city 无损连接 是否保持函数依赖？ ?R1(F)＝{按自反律推出的平凡FD} ?R2(F)＝{zip→city，以及按自反律推出的平凡FD} ?R1(F)∪ ?R2(F)＝{zip→city}+ ? F+ 不保持函数依赖 （2）不保持函数依赖带来的问题 R(city, street, zip), F={(city,street)→zip, zip→city} 分解为p={R1(street,zip),R2(city,zip)} 在R1中插入（’a’,’100081’）和（’a’,’100082’） R2中插入（’Beijing’,’100081’）和（’Beijing’,’100082’） R1 ? R2：得到 违反了(city,street)→zip，因为它被丢失了，语义完整性被破坏 City Street Zip Beijing a 100081 Beijing a 100082 模式分解小结 三种准则 无损连接 若R分解为n(n2)个关系模式，使用Chase方法判断是否无损连接 若R分解为R1和R2，使用（R1 ? R2） → （R1－R2）或（R1 ? R2） → （R2－R1）判断 保持函数依赖 既无损连接，又保持函数依赖 Where are we? 关系模式的设计问题 关系模式的分解 关系模式的范式 模式分解的算法 三、关系模式的范式 范式的概念 函数依赖图 1NF 2NF 3NF BCNF 4NF 5NF 模式分解到何时才能结束？ 1、范式的概念 范式：满足特定要求的模式 不同级别的范式要求各不相同 范式可以作为衡量一个关系模式好坏的标准 若关系模式R满足范式xNF，记R?xNF 规范化：将低一级范式的关系模式通过模式分解转换为高一级范式的关系模式集合的过程 5NF ? 4NF ? BCNF ? 3NF ? 2NF ? 1NF 1971～1972，E.F. Codd 1974，Boyce and Codd 1976~1979，Fagin 2、函数依赖图 R是关系模式，F是R的不可约FD集，F可用函数依赖图表达 S# SNAME STATUS CITY S# P# QTY P# COLOR WEIGHT CITY PNAME 箭头表示函数决定关系，每个候选码必定有箭头指出 3、1NF 对于关系模式R的任一实例，其元组的每一个属性值都只含有一个值，则R?1NF 1NF是关系的基本要求 4、2NF 当且仅当R属于1NF，且R的每一个非主属性都完全函数依赖于主码时，R ?2NF 完全函数依赖：对于函数依赖W→A，若不存在X?W，并且X→A成立，则称W→A为完全函数依赖，否则为局部函数依赖 主属性：包含在候选码中的属性 非主属性：不包含在任何候选码中的属性 （1）2NF含义 R(A,B,C,D,E), {A,B}为主码，则有 AB→C， AB→D， AB→E 但C、D、E都不局部函数依赖于AB 即A→C、 B→C、 A→D、 B→D、 A→E、 B→E中任何一个均不成立 （2）2NF例子 供应关系 R(S＃, P＃, city, status,Price, QTY) F={S#→city, S#→status , P#→Price, city → status,{S#,P#} →QTY } 所以主码为{S＃,P＃} 但city和Price都局部函数依赖于主码 所以R? 2NF （3）不满足2NF带来的问题 R( S＃, P＃, city, status, Price, QTY) 插入异常：没有供应零件的供应商无法插入 删除异常：删除供应商的供货信息同时删除了供应商的其它信息 更新异常：供应商的city修改时必须修改多个元组 数据冗余：同一供应商的city被重复存储 （3）模式分解以满足2NF R( S＃, P＃, City, Status, Price, QTY) S＃ P＃ Price City QTY Status R1( S#,City,Status) R2( P#,Price) R3( S#,P#,QTY) 分解是否正确？ 无损联接和保持函数依赖 5、3NF 当且仅当R属于2NF，且R的每一个非主属性都不传递依赖于主码时，R ?3NF 传递依赖：若Y→X，X→A，并且X→Y，A不是X的子集，则称A传递依赖于Y F={S#→city, city→status} R1( S#,City,Status) （1）不满足3NF带来的问题 R