关系数据结构及形式化定义

关系

若关系中的某一属性组的值能唯地标识一个元组,而其子集不能,则称该属性组为候选码。
若一个关系有多个候选码,则选定其中一一个为主码。
候选码的诸属性称为主属性。
不包含在任何候选码中的属性称为非主属性 或 非码属性。
在最简单的情况下,候选码只包含一个属性。
在最极端的情况下,关系模式的所有属性是这个关系模式的候选码,称为全码。

关系模式

关系操作

关系的完整性

实体完整性

参照完整性

用户定义的完整性