範式

第1範式: 

存在 非主屬性對碼的部分依賴關係 R(A,B,C) AB是碼 C是非主屬性 B-->C B決定C C部分依賴於B數據庫

第一範式函數

定義:若是關係R 中全部屬性的值域都是單純域,那麼關係模式R是第一範式的htm

那麼符合第一模式的特色就有get

1)有主關鍵字基礎

2)主鍵不能爲空,數據

3)主鍵不能重複,集合

4)字段不能夠再分di


第2範式:
數據庫表中 不存在非關鍵字段對任一 候選關鍵字段的  部分函數依賴(部分函數依賴指的是存在組合關鍵字中的某些字段決定非關鍵字段的狀況),也即全部非關鍵字段都徹底依賴於任意一組候選關鍵字。
 
第3範式:
在第二範式的基礎上,數據表中若是 不存在非關鍵字段對任一候選關鍵字段的  傳遞函數依賴則符合第三範式。所謂傳遞函數依賴,指的是若是存在"A → B → C"的決定關係,則C傳遞函數依賴於A。所以,知足第三範式的數據庫表應該不存在以下依賴關係:
               關鍵字段 → 非關鍵字段x → 非關鍵字段y
 
BCNF( 鮑依斯-科得範式 ):
在第三範式的基礎上,數據庫表中若是 不存在任何字段對任一候選關鍵字段的  傳遞函數依賴則符合BCNF。 依賴關係: 1.數據依賴 數據依賴指的是經過一個關係中屬性間的相等與否體現出來的數據間的相互關係,其中最重要的是函數依賴和多值依賴。 2.函數依賴 設X,Y是關係R的兩個屬性集合,當任什麼時候刻R中的任意兩個元組中的X屬性值相同時,則它們的Y屬性值也相同,則稱X函數決定Y,或Y函數依賴於X。 3.平凡函數依賴 當關系中屬性集合Y是屬性集合X的子集時(Y?X),存在函數依賴X→Y,即一組屬性函數決定它的全部子集,這種函數依賴稱爲平凡函數依賴。 4.非平凡函數依賴 當關系中屬性集合Y不是屬性集合X的子集時,存在函數依賴X→Y,則稱這種函數依賴爲非平凡函數依賴。 5.徹底函數依賴 設X,Y是關係R的兩個屬性集合,X’是X的真子集,存在X→Y,但對每個X’都有X’!→Y,則稱Y徹底函數依賴於X。 6.部分函數依賴 設X,Y是關係R的兩個屬性集合,存在X→Y,若X’是X的真子集,存在X’→Y,則稱Y部分函數依賴於X。 7.傳遞函數依賴 設X,Y,Z是關係R中互不相同的屬性集合,存在X→Y(Y !→X),Y→Z,則稱Z傳遞函數依賴於X。 
相關文章
相關標籤/搜索