概述

函数依赖

知道属性a -> 推导出属性b

Armstrong’s Axioms

image-20231114221017332

Implications

image-20231114221158204

Closure of FDs

正则覆盖

函数依赖集F能推出函数依赖集G。

Minimal Cover

Candidate Key

  1. 决定性： K -> R
  2. K中的每个属性都不可或缺

主属性:出现在候选码中的属性

Algorithm to compute Candidate Key

image-20231115102842208

Normalization Based on FD

Normal Forms – 1NF

Concepts:A relational schema R is in first normal form if the domains of all attributes of R are atomic.

原子性：

  1. 不能有组合属性如：customer(id, name(first-name,middle-initial,last-name),date-of-birth)
  2. 一个tuple每个属性只能有一个值，如电话的值不能为(18637047510,13781481432)这样的列表形式
  3. 每个属性都是独立的值，不能从中提取信息。如学号可以得到入学年份，但我们认为学号是一个独`立的值

2NF

不存在非主属性部分依赖于候选码

3NF

不存在非主属性对码的传递依赖

BCNF Boyce-Codd Normal Form

if $\alpha \rightarrow \beta$ then $\alpha$ is a superkey for R

基于多值依赖的规范化

Multi-Valued Depedency

分解

把一个关系分成多个关系模式

  1. 分过之后的关系模式必须是之前的关系模式的真子集
  2. 分解后的属性集并起来等于原属性集

无损分解

分解后的通过自然连接能够还原成原关系模式