在函数信赖中,平凡的函数信赖根据Armstrong推理规则中的()律就可推出。
出自:计算机科学