关系数据结构及形式化定义
关系模型的数据结构非常简单,只包含单一的数据结构——关系
关系数据结构的形式化定义
域:
是一组具有相同数据类型的值的集合
笛卡尔积:
D1×D2×…×Dn = {(d1,d2,…,dn)| di∈Di,i = 1,2,…,n}
关系:
D1×D2×…×Dn 的自己叫做在域D1×D2×…×Dn 上的关系,表示为
R(D1×D2×…×Dn ) R表示关系的名字,n是关系的目或度
n = 1时,称该关系为单元关系,或一元关系
n = 2时,称该关系为二元关系
n目关系必有n个属性
若关系中的某一属性组的值能够唯一标识一个元组,而其子集不能,则称该属性组为候选码
若一个关系中有多个候选码,选定其中一个为主码
在最极端的情况下,关系模式的所有属性是这个关系模式的候选码,称为全码
关系中的三种类型: