我是个学生,发现总是记不住第二第三范式的完整定义,请问各位工作时用得到吗,用得到的话是怎么记的
以下是我笔记中的定义 2nf
1nf&
∀(non-prime attribute s)
(X is candidate key => s 完全依赖于 x)
3nf
1nf&
∀(non-prime attr s)∀(非平凡函数依赖 X→s)
(
X is super key
)
The third normal form (3NF) is a normal form used in database normalization. 3NF was originally defined by E.F. Codd in 1971.[2] Codd's definition states that a table is in 3NF if and only if both of the following conditions hold:
- The relation R (table) is in second normal form (2NF)
- Every non-prime attribute of R is non-transitively dependent on every key of R.
其中的key是什么意思?
如果是候选键的话
∀(non-prime attr s)∀(key k of R)∀(属性(组) B)(
¬( k→B ∧ ¬(B→k) ∧ B→s))
)
因为 k→B 永真,所以等价于
∀(non-prime attr s)∀(key k of R)∀(属性(组) B)(
¬( ¬(B→k) ∧ B→s))
)
等价于
∀(non-prime attr s)∀(key k of R)∀(属性(组) B)(
(B→s)->(B→k)
)
等价于
∀(non-prime attr s)∀(key k of R)∀(属性(组) B)(
如果(B→s)则 B 是超键
)
这不是显然错的吗,只要 B 包含 s 就行了,换句话说,R 中非主属性肯定是`传递函数依赖于`R 中候选键的
(这里用->表示逻辑上的蕴含关系,→则表示函数依赖关系,例如 a→b 表示 b 函数依赖于 a)
bcnf
1nf
∀(非平凡函数依赖 X→Y)(
X is super key
)
这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。
V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。
V2EX is a community of developers, designers and creative people.