关系数据库的K-A图设计方法

一、引理由标识码与函数依赖的定义,以及由范式与最小复盖的定义可以引出以下两个推论:推论1:在一个完全函数依赖集 F 中,若各函数依赖都有相同的左部 K,则 K 一定是关系模式 R的一个标识码。其中 U=K_F~+,K_F~+为 K 关于 F 的闭包。推论2:设 F_(min)是函数依赖集 F 的最小复盖,则在 F_(min)中按相同左部合并各函数依赖所得的关系模式都属于3NF。