我有以下关系，但我不确定是否违反 3NF：
R={A,B,C,D,E,F,G}
FDs：
{AF-->BCG, B-->DE, CG-->EF, E-->G}
{{A,F}},{{A,C,G}},{{A,C,E}},{{A,B,C}}
根据Wiki，我的密钥具有以下定义：
X 是一个超键，或者
YX 的每个元素，Y 和 X 之间的集合差，是一个素属性（即 AY 中的每个属性都包含在某个候选键中）
那么唯一的违规行为是B-->DE，CG-->EF因为如果 X 不是超键，因此右侧的每个元素都必须是键的一部分？那是对的吗？