Armstrong公理系统包括三条基本推理规则,下面哪一条不是三条基本规则之一( )。
A
自反律
B
合并律
C
传递律
D
增广律
出自:河南工业大学数据库系统原理与应用(高起专)