关系数据库

域：是一组具有相同数据类型的值的集合，又称值域

笛卡尔积

关系:是有意义的笛卡尔积

关系形式化定义和有关概念

关系中每个分量必须取原子值

关系中每列的每个分量是同一个数据类型

属性名的唯一性

列顺序可随意交换，但交换时应连同属性名一起交换

行顺序可以随意交换

关系中不允许出现相同元组

关系的性质

关系模式是关系模型的内涵，是对关系模型逻辑结构的描述

关系模式

关系数据库

关系模型的数据结构

候选码:在一个关系中，存在多个属性或属性组合都能用来唯一标识该关系中的元组，而其子集不能，则为候选码

主码:若一个关系中有若干候选码，选择其一作为主码

全码:若在一个关系中，候选码包含关系模式中所有属性，则为全码

超码:能唯一标识该关系中的元组的属性

外码:如果关系R的一个或一组属性不是R的主码而是另一个关系T的主码，则为R的外码

关系的码

实体完整性规则:若属性A是基本关系R的主属性，则A不取空值

实体完整性

F为R的外码，关系R称作参照关系，T是被参照关系，R中每个元组再F上的值等于T再某个元组在K上的取值，或取空值

参照完整性

根据应用领域的不同，用户定义的约束条件，体现具体领域的语义约束

用户自定义完整性

关系的码与关系的完整性

关系代数的分类及其运算符

并:两关系表相容并去除重复元组

差:R-S为属于R而不属于S的所有元组组成

交:既属于R也属于S的元组组成

广义笛卡尔积:即关系相乘，横向合并两表格

传统集合运算

选择:按给定条件从已知关系中选择若干元组组成新的关系

投影:从R中选择若干属性列从左至右按指定若干属性和顺序去除相应列，组成新的关系

等值连接

不等值连接

连接:从两个关系中选择满足一定条件的元组组成新的关系

除法

专门的关系运算

关系代数

关系演算