由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则,它们是合并规则、分解规则和 ______。
第1题:
Armstrong公理系统的3条推理规则是自反律、增广律和______。
第2题:
下面关于函数依赖的叙述中,( )是Armstrong公理系统中的推理规则。
第3题:
1. 在函数依赖中,平凡函数依赖是可以根据Armstrong推理规则中的__________ 律推出的,Armstrong推理规则中的伪传递规则,可以根据__________ 推出。
第4题:
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
第5题:
Armstrong公理系统的3条推理规则是 ______、增广律和传递律。