填空題"不能從已知的FD集使用推理規(guī)則導(dǎo)出的FD不在F+中",這是推理規(guī)則的()性。