关系模式中，函数依赖的推理规则主要有：（）。这三条规则还可以有3条推论：（）规则、（）规则、（）规则。