(5.4.1)--5.4模式分解数据管理.pdf
模式分解三种模式分解的等价定义 分解具有无损连接性 分解要保持函数依赖 分解既要保持函数依赖，又要具有无损连接性例:SL（Sno，Sdept，Sloc）F=SnoSdept,SdeptSloc,SnoSlocSL2NFSnoSdeptSlocS001CSAS002ISBS003 MACS004 ISBS005PHBSLSL的模式分解 SL分解为下面三个关系模式：SN(Sno)SD(Sdept)SO(Sloc)SnoSdeptSlocS001CSAS002ISBS003 MACS004 ISBS005PHBSLSnoS001S002S003 S004 S005SNSdeptCSISMAPHSDSlocABCSOSL的模式分解 SL分解为下面两个关系模式：NL(Sno,Sloc)DL(Sdept,Sloc)SnoSdeptSlocS001CSAS002ISBS003 MACS004 ISBS005PHBSLSnoSlocS001AS002BS003 CS004 BS005BNLSdeptSlocCSAISBMACPHBDL SnoSlocSdeptS001ACSS002BISS002BPHS003 CMAS004 BISS004 BPHS005BISS005BPHSL的模式分解 SL分解为下面两个关系模式：ND(Sno,Sdept)NL(Sno,Sloc)SnoSdeptSlocS001CSAS002ISBS003 MACS004 ISBS005PHBSLSnoSdeptS001CSS002ISS003 MAS004 ISS005PHNDSnoSlocS001AS002BS003 CS004 BS005BNLSnoSdeptSlocS001CSAS002ISBS003 MACS004 ISBS005PHB 具有无损连接性的模式分解 关 系 模 式 的 一 个 分 解=1 ，2 ，若与1、2、自然连接的结果相等，则称关系模式的这个分解具有无损连接性（Lossless join）。具有无损连接性的分解保证不丢失信息 无损连接性不一定能解决插入异常、删除异常、修改复杂、数据冗余等问题 例：SL分解为下面两个关系模式：NL(Sno,Sloc)DL(Sdept,Sloc)这种分解方法具有无损连接性，但没有保持原关系中的函数依赖 SL中的函数依赖SdeptSloc没有投影到关系模式ND、NL上保持函数依赖的模式分解 设关系模式 被分解为若干个关系模式1 ，2 ，（其中=1 2 ，且不存在 ，为在上的投影）。若所逻辑蕴含的函数依赖一定也由分解得到的某个关系模式中的函数依赖所逻辑蕴含，则称关系模式的这个分解是保持函数依赖的（Preservedependency）。例：将SL分解为下面二个关系模式：ND(Sno,Sdept)DL(Sdept,Sloc)这种分解方法就保持了函数依赖模式的分解 如果一个分解具有无损连接性，则它能够保证不丢失信息。如果一个分解保持了函数依赖，则它可以减轻或解决各种异常情况。分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。具有无损连接性的分解不一定能够保持函数依赖。保持函数依赖的分解也不一定具有无损连接性。若要求分解既具有无损连接性，又保持函数依赖，则模式分解一定能够达到3NF，但不一定能够达到BCNF。
