1:关系的码(与实体集的码相同)
【注】码中没有无关属性
【注】超码中可能含有无关属性
【注】假设(名字可以相同,地址不能相同,则{Ename,Eaddress}也可以作为码及以下结论)
2:关系模式
【注】F为u中的数据依赖
【注】D(U中每个属性的域):例如数据类型 DOM(U到D的映射):例如取值范围 F(U中的数据依赖)例如完整性约束
1:关系的码(与实体集的码相同)
【注】码中没有无关属性
【注】超码中可能含有无关属性
【注】假设(名字可以相同,地址不能相同,则{Ename,Eaddress}也可以作为码及以下结论)
2:关系模式
【注】F为u中的数据依赖
【注】D(U中每个属性的域):例如数据类型 DOM(U到D的映射):例如取值范围 F(U中的数据依赖)例如完整性约束