給定關(guān)系模式 R(U,F),其中:U 為關(guān)系模式 R 中的屬性集,F(xiàn) 是 U 上的一組函數(shù)依賴(lài)。假設(shè) U={A1,A2,A3,A4),F={A1→A2,A1A2→A3,A1→A4,A2→A4},那么關(guān)系 R 的主鍵應(yīng)為( )。函數(shù)依賴(lài)集 F 中的( )是冗余的。
A. A1
B. A1A2
C. A1A3
D.A1A2A3
A.A1 →A2
B.A1A2→A3
C.A1→A4
D.A2→A4