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