数据库范式( database normal form )各位工作时用得到吗,用得到的话是怎么记的

2019-02-19 21:53:23 +08:00
 migeater

我是个学生,发现总是记不住第二第三范式的完整定义,请问各位工作时用得到吗,用得到的话是怎么记的

以下是我笔记中的定义 2nf

1nf&
∀(non-prime attribute s)
(X is candidate key => s 完全依赖于 x)

3nf

1nf&
∀(non-prime attr s)∀(非平凡函数依赖 X→s)
(
	X is super key
)

wiki 其中一个解释

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
)
2315 次点击
所在节点    数据库
7 条回复
yujincheng08
2019-02-20 01:04:35 +08:00
用了。讲道理这东西还挺有用的。
不过一般用巴氏范式就够了
hellowes
2019-02-20 01:18:03 +08:00
工作以后我就差不多都忘了,只记得外键约束,还有每个键的依赖关系,还有一对一多对多。

但是工作性质大部分都是 CRUD,范式虽然很规范,但是一定的反范式也是有必要的,除非你愿意所有精力都放到数据库上。

当然,如果 DBA、测试、运维都有,当我没说
hellowes
2019-02-20 01:21:00 +08:00
学过的知识,经过数月数年,你还能记得那才是真的积累
lihongjie0209
2019-02-20 08:58:38 +08:00
lihongjie0209
2019-02-20 09:00:09 +08:00
1. 列的原子性
2. 要有主键
3. 要直接依赖于主键
l00t
2019-02-20 09:09:13 +08:00
用得不多,数据库表的设计主要还是看具体实际要求来做。当然基本的一些意识还是要有的。

另外你这笔记记得太复杂了,难道是数学术语和公式对你来说比较易懂?我记得《数据库基础》上对范式的描述都是人话版啊,一看就懂,都没有什么不好理解的地方。

另外候选键也是一种 super key 啊,这不算传递依赖。
sansanhehe
2019-02-20 09:27:59 +08:00
先设计好数据库表字段,最后审核一下,哪些可以优化成 3NF 或者 BCNF

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/536705

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX