求候选码的方法.pptVIP

CH5. 关系数据理论 * CH5. 关系数据理论 第五章 关系数据理论 《数据库系统概论》 6.2.2 码(参见P173.) 定义5.4 设K为关系模式RU, F的属性(组)， 若K U，则称K为R的候选码。 主码：若RU , F有多个候选码，则可以从中选定一个作为R的主码。 主属性：包含在任一个候选码中的属性，称作主属性。 非主属性：不包含在任一个候选码中的属性，称作非主属性(或非码属性)。 全码：关系模式的码由全部属性构成。 码: 例 关系模式 S(S# , SN , SD , DEAN , C# , G) 码的确定 (1) 首先根据实际背景数据约束的语义确定关系模式RU, F。 (2) 然后应用函数依赖的公理系统，验证F中每一个函数依赖的决定因素或其组合K，是否有: K U。 主码(S#，C#)，因为(S#，C#) 所有属性 码的确定: 例 求出关系模式RU, F的所有候选码： U={ A , B , C , D , E } F={AB→C, B→D, C→E, EC→B, AC→B } 注: 码或者是某一函数依赖的左部, 或是一个属性组。 验证AB是否码, 须证明 AB ABCDE是否成立? ∵AB→C(已知), 而AB→AB(自反), ∴AB → ABC(