博伊斯-科德範式 (BCNF)

BCNF 是第三個範式 (3NF) 的擴展，比 3NF 稍強。

關係 R 屬於 BCNF，如果 P -> Q 是平凡的函數依賴，P 是 R 的超鍵。

如果關係在 BCNF 中，則意味著基於函數依賴的冗餘已被刪除，但一些冗餘仍然存在。

讓我們來看一個範例-

10:0012:00#金色

地面	Begin_Time	#End_Time	封裝
#G01	07:00	09:00	。金
#G01
#G01	10:30	#11:00	##青銅

G02

#10:15

11:15

銀色

G02上述關係在1NF、2NF、3NF 中，但不在BCNF 中。原因如下： {Package->Ground}

08:00##09:00	#銀色
功能依賴	它具有決定性屬性Package on which Ground取決於既不是候選鍵也不是候選鍵的超集。

############ ################################################## ##地面######################金色############G01################### ######銀色############G02###################青銅######################################################################### #G01##################

G0107:00#09:00

地	Begin_Time	#End_Time
# #G01	10:00	#12:00
G01	10:30	#11:00
G02	10:15	11:15
G02	08:00	09:00

##現在以上表格採用BCNF 格式。

表的候選鍵是Package 和Ground

# 的候選鍵表格是 {Ground, Begin_Time } 和 {Ground, End_Time}

由於我們在##關係。

以上是博伊斯-科德範式 (BCNF)的詳細內容。更多資訊請關注PHP中文網其他相關文章！