-
关系代数
并
交
差
笛卡尔积
投影
选择
连接 -
元组关系演算
-
SQL
-
规范化理论
部分函数依赖:AB->C, A->C
传递函数依赖:A->B, B->C(B-/>A)超键:唯一标识元组(可以是一个属性,也可以是多个属性,切可能存在冗余属性)
候选键:唯一标识元组不存在冗余属性(从入度为0的节点遍历),主键的集合
主键:候选键中任意选择一个
外键:其他关系的主键主属性:候选键中的属性
非主属性:候选键中之外的属性1NF:属性值是不可分的原子值
↓ \downarrow ↓消除非主属性对候选键的部分依赖(非主属性由部分候选键决定)
2NF
↓ \downarrow ↓消除非主属性对候选键的传递依赖(非主属性由非主属性决定)
3NF
↓ \downarrow ↓消除主属性对候选键的传递依赖(所有关系中左边部分均为候选键)
BCNF判断BCNF:
∀ x → A \forall x \rightarrow A ∀x→A, 以下条件之一满足:
(1) A ∈ X A \in X A∈X
(2)X是超键
判断3NF:
∀ x → A \forall x \rightarrow A ∀x→A, 以下条件之一满足:
(1) A ∈ X A \in X A∈X
(2)X是超键
(3)A是R的键的一部分 -
模式分解
保持函数依赖分解:函数依赖不变,依赖的前后属性在同一个关系中(冗余函数依赖不需保持)
无损分解:分解后可以还原(二分解法)二分解法检验是否无损分解:R=(R1, R2).
R无损联接分解
⇔ \Leftrightarrow ⇔
R 1 ⋂ R 2 → ( R 1 − R 2 ) R_1 \bigcap R_2 \rightarrow (R_1-R_2) R1⋂R2→(R1−R2) 或 R 1 ⋂ R 2 → ( R 2 − R 1 ) R_1 \bigcap R_2 \rightarrow (R_2-R_1) R1⋂R2→(R2−R1) -
闭包 B + B^+ B+
B + B^+ B+包含F中的所有函数依赖(通过推导)
从给定属性出发,能退出最大的属性集 -
Armstrong公理(求闭包)
-
最小覆盖 F c F_c Fc
将F中的所有依赖右边化为单一元素
去掉F中的所有依赖左边的冗余属性
去掉F中所有冗余依赖关系
左边属性相同的,合并右边属性
数据库设计原理基础知识点
最新推荐文章于 2024-04-01 20:00:53 发布