填空题

由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则,它们是合并规则、分解规则和 ______。

【参考答案】

伪传递规则