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

大規模DBのスキーマ変更（カラム追加等）を、サービスを停止せずに行いたい（オンラインDDL）。MySQL等での伝統的な手法（pt-online-schema-change等）の仕組みはどれか。