單項選擇題

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

A.若X→Y及X→Z為F所邏輯蘊含，則X→YZ為F所邏輯蘊含
B.若X→Y及Y→Z為F所邏輯蘊含，則X→Z為F所邏輯蘊含
C.若X→Y及WY→Z為F所邏輯蘊含，則XW→Z為F所邏輯蘊含
D.若X→Y為F所邏輯蘊含，且ZY，則X→Z為F所邏輯蘊含

微信掃碼免費搜題