在关系模式R（U）中，如果X->Y和X->Z成立，则X->YZ成立，这条规则称为（）