如果Y函数依赖于X,Z函数依赖于Y,则有Z函数依赖于X。以上规则为Armstrong公理系统的( )。
A
自反律
B
传递律
C
合并律
D
增广律

---