关系数据库

关系数据结构及形式化定义

关系

• 域
  具有相同类型的值得集合
• 笛卡尔积
  域上的一种集合运算
• 关系
  多个域的笛卡尔积的子集叫做关系
• 候选码
  某一属性组的值能唯一地标识一个元祖，子集不能
• 关系模式
  关系的描述也称为关系模式

基本的关系操作

• 查询
  选择 投影 链接 除 并 差 交 笛卡尔积

• 插入

• 删除

• 修改

关系语言的分类

• 关系代数语言

• 关系演算语言

• 二者兼有

关系的完整性

• 实体完整性
  若属性A是基本关系R的主属性，则A不能取空值。
• 参照完整性
  设F是基本关系R的一个或一组属性，但不是关系R的码，Ks是基本关系S的主码。如果F与Ks相对应，则F是R的外码，并称为基本关系R为参照关系 基本关系S为被参照关系。

关系代数

传统的集合运算和专门的关系运算。