若X→Y和Y→Z在关系模式R上成立,则X→Z在R上也成立。该推理规则称为()。
A:自反规则
B:增广规则
C:传递规则
D:伪传递规则
出自:计算机科学