單項(xiàng)選擇題

設(shè)F是屬性組U上的一組函數(shù)依賴,下列哪一條屬于Armstrong公理系統(tǒng)中的基本推理規(guī)則?()

A.若X→Y及X→Z為F所邏輯蘊(yùn)含,則X→YZ為F所邏輯蘊(yùn)含
B.若X→Y及Y→Z為F所邏輯蘊(yùn)含,則X→Z為F所邏輯蘊(yùn)含
C.若X→Y及WY→Z為F所邏輯蘊(yùn)含,則XW→Z為F所邏輯蘊(yùn)含
D.若X→Y為F所邏輯蘊(yùn)含,且ZY,則X→Z為F所邏輯蘊(yùn)含

微信掃碼免費(fèi)搜題