关系模式
数据结构
关系
关系模式是型，是静态的、稳定的。而关系是关系模式的具体的值，是动态的、变化的
候选码
关系中的一组属性能够唯一的标识一个元组，而且这组属性任何一个属性去掉后都不能具有标识作用，则这组属性被称为候选码
主码
从多个候选码中选一个作为标识，这个候选码被称为主码
外码
参照关系R中的一个或一组属性F是被参照关系S中的主码，则F就是外码
关系的完整性约束
实体完整性
关系中的主码不能为空
参照完整性
参照关系R上的外码F是被参照关系S上的主码，则F必须是空值或者是S中某个元组的主码值
在参照完整性中，如果外码F不是关系R上的主属性，则F可以为空。
用户定义的完整性
反映了某一具体应用所设计的数据必须满足的语义要求。
关系代数
五个基本运算：并、差、选择、投影、笛卡尔积
常用的运算
| 运算 | 符号 |
|---|---|
| 选择 | σ |
| 投影 | π |
| 连接 | ⋈ |
| 除 | ÷ |