一:域:具有一组相同类型的数据集合。
D1=姓名集合(NAME)={yang,li}
D2=年龄集合(AGE)={17,18}
二:笛卡尔积:域上定义的一种集合运算,就是将每个域中的元素与其它域中的元素分别去组合,组合得到的笛卡尔积中每一个元素叫做一个元组。如图,是D1和D2的笛卡尔积。
NAME | AGE |
---|---|
yang | 17 |
yang | 18 |
li | 17 |
li | 18 |
三:关系:在笛卡尔积中取出一个子集,可以构成关系。关系中的每个元素是关系中的元组,关系是笛卡尔积的真子集。
在D1XD2中取出来一个关系如下所示,关系才是有意义的。
NAME | AGE |
---|---|
yang | 17 |
li | 18 |
四:键
五:数据库的三条完整性规则
(1):实体完整性:若属性A是关系R的主属性,则A不能取空值。
学生(学号,姓名,性别,专业号) 学号为主键,则学号一定不能为空。
(2):参照完整性:回忆外键的定义,若F是关系R的外键,它与关系S主键相对应,对于R中的每个元组在F上的取值,要么等于S中的主键值,要么为空 。
学生(学号,姓名,性别,专业号) 主键:学号
专业(专业号,专业名) 主键:专业号
这里的专业号是学生的外键,它与专业的主键相对应,因此学生专业号就有两种取值,一是其专业对应中的专业号,二是空,表示此学生目前没有被分配专业。
(3):用户定义的完整性:任何数据库都应该支持实体完整性和参照完整性,并且对于不同的应用我们应该加一些别的约束条件。
六:关系代数
1:并,差,交
按照我们普通的集合运算的方式理解就好了。
2:笛卡尔积也是这样的一种操作,m元关系就是有m个域。m元关系和n元关系进行笛卡尔积得到(m+n)元关系。
3:选择:选出在关系R中满足给定条件的诸元组。
4:投影:选出列组成新的关系,会指定选择的列号和集合名称。
5:连接:从两个关系的笛卡尔积中选取属性间满足一定条件的元组。
自然连接:自然连接是特殊的等值连接,它会去掉相同的属性组。
等值连接:条件是从R和S的笛卡尔积中选取A,B属性值相等的元组。
外连接:把应该舍弃的全部保留下来,在其他对应属性上用null。
6:除:对于两个关系R(X,Y)和S(Y,Z),R/S得到的是R在X上满足下面条件的投影,条件是:元素在X分量上x的象集包括S在Y投影上的集合。有关象集的定义在下面:
R:
A | B | C |
---|---|---|
a1 | b1 | c2 |
a2 | b1 | c2 |
a3 | b4 | c6 |
a1 | b2 | c1 |
a4 | b6 | c6 |
a2 | b2 | c1 |
S:
B | C | D |
---|---|---|
b1 | c2 | d1 |
b2 | c1 | d1 |
X的象集是针对R中x的每一个取值而言的:实际上就是对应Y关系上的取值,X关系是A,Y关系是B和C。
a1的象集:(b1,c2)(b2,c1)
a2的象集:(b1,c2)(b2,c1)
a3的象集:(b4,c6)
a4的象集:(b6,c6)
找到了X分量上x的象集,我们继续找S在Y投影上的集和,在S关系中,S在Y关系上(也就是B和C关系上)的投影为:
(b1,c2)(b2,c1)
下面我们只用x的象集和S在Y关系上的投影({(b1,c2)(b2,c1)})进行对比就行了,发现只有a1和a2的象集包含这个投影,也就是R/S= {a1,a2}
现在我们会计算除法了,它到底有什么意义:除的意义在于查询全部,就像我们的a的象集中完全包括S在Y关系上的投影的a的值才能被选出来,它们是完全符合S元素的。