数据库系统概念笔记（四）

关系数据库设计

一个域是原子的，如果该域的元素被认为是不可分的单元。该关系模式属于第一范式
r®表示该模式是关系r的，R表示属性集。
当属性集是一个超码时，用K表示它。可以唯一标识关系中一条元组的一个或多个属性的集合。

满足函数依赖 α→β的条件是：对实例中所有元组对t1和t2,若t1[α]=t2[α]，则t1[β]=t2[β]
如果每个合法实例都满足，则在这个模式上成立

如果所有关系都满足，则成为是平凡的

F+符号表示F集合的闭包，F+包含F中所有的函数依赖

BCNF消除所有基于函数依赖能够发现的冗余。
对F+中所有形如如α→β的函数依赖，至少成立 一项：

• α→β是平凡的函数依赖
• α是模式R的一个超码

具有函数依赖集F的关系模式R属于第三范式的条件是：对于F+中所有形如α→β的函数依赖，至少成立一项：

• α→β是一个平凡的函数依赖
• α是R的一个超码
• β-α中的每个属性A都包含于R的一个候选码中

如果r®的每一个满足F的实例也满足f，则R上的函数依赖f被r上的函数依赖集F逻辑蕴涵

• 自反律
• 增补律
• 传递律
• 合并律
• 分解律
• 伪传递律

属性集的闭包……先跳过