「汎化・特化」の関係において、サブタイプ側で定義される属性はどのような性質を持つか。

関係スキーマR(A, B, C)において、関数従属性 A→B, B→C が成立する場合、A→C も成立するという規則（アームストロングの公理系）はどれか。