設關系模式R(U,F)，其中u為屬性集，F是U上的一組函數依賴，那么函數依賴的公理系統(tǒng)（Armstrong公理系統(tǒng)）中的合并規(guī)則是指（）為F所蘊涵。A．若A→B，B→C，則A→CB．若 ，則X→YC．若A→B，A→C，則A→BC D．若A→B，C B，貝A→C
，則X→Y
