함수종속집합 F는 A->B and BC->D를 포함하는 집합입니다.


원래의 스키마 R(A,B,C,D,E)는 R1(A,B)와 R2(A,C,D,E)로 분해되었다고 할 때


F의 어떤 종속도 A,C,D,E의 속성을 포함하지 않으므로 R2는 BCNF를(F만 놓고 볼 때는) 만족합니다.


그러나 가이행 규칙에 따라 F+에는 AC->D라는 종속이 유추될 수 있으므로 R2는 BCNF가 아닙니다.


이게 무슨 말인지 설명 좀 부탁드립니다.


제가 이해가 안가는 것은 왜 F가 R2에서 BCNF를 침해하는지 입니다.