关系数据结构及形式化定义
关系:
- 域:一组具有相同数据类型的值的集合
- 笛卡尔积:域上的一种集合运算
- 关系:笛卡尔积的子集
笛卡尔积例子:
基数:上图中D1的基数2,D2的基数2,D3的基数2,笛卡尔积的基数为2*2*2=8
关系的度或目:属性的个数
关系术语:
- 关系:一张表
- 元组:表中的一行
- 属性:表中的一列
- 候选码:可以唯一确定一个元组的属性或属性组
- 主码:候选码中的一个
- 全码:当所有属性在一起才能唯一确定一个元组时,所有属性的组合叫做全码
- 主属性:候选码包含的属性
- 非主属性:候选码不包含的属性
三类关系:
- 基本关系(基本表)
- 查询表
- 视图表
基本关系的性质:
- 列是同质的
- 不同的列可以出自同一个域
- 列可以互换
- 行可以互换
- 任意两个元组的候选码不可以相同
- 分量必须是原子(表中不能套表)