如果Y函数依赖于X，Z函数依赖于Y，则有Z函数依赖于X。以上规则为Armstrong公理系统的（）。

如果Y函数依赖于X，Z函数依赖于Y，则有Z函数依赖于X。以上规则为Armstrong公理系统的（）。
A.自反律
B.传递律
C.合并律
D.增广律
正确答案：B