對於R<U,F>這樣的關係，R代表關係，U代表屬性或屬性組，F代表函式依賴

非平凡函式依賴：x->y，y不屬於x(無中生有)

平凡函式依賴：(有中生有)

函式依賴：x->y，類比於f(x)和x之間的對映關係，即x決定y

候選碼：對於某一屬性或屬性組，能完全確定其所在集合中的任意屬性

主碼：候選碼中的任意一個

主屬性：包含在候選碼中的屬性

部分函式依賴：存在非主屬性不依賴於主屬性

傳遞函式依賴：即C函式依賴B，B函式依賴A

第一正規化(1NF)：屬性不能再分解

第二正規化 (2NF)：不存在非主屬性對主屬性的部分函式依賴

第三正規化(3NF)：不存在傳遞函式依賴

BC正規化(BCNF)：對於每個x->y，x都包含候選碼

多值依賴：對一(x,z)，有一組Y的值，且Y只與x相關

平凡多值依賴：即R(X,Y)有x->->Y

第四正規化(4NF):不存在多對多的關係

最小覆蓋：

1.函式依賴F右部僅含一個屬性

2.F和F-{X-A}不等價

3.F-{X-A}與{Z-A}並集與F不等價,Z是X的真子集

分解規則：

1.分解後能自然連線

2.保持函式依賴

3.2、3都有

第一次部落格，方便以後查閱，如有錯誤歡迎指證

——2018/12/2