어떤 릴레이션 R이 2NF를 만족하면서 키에 속하지 않는 모든 애트리뷰트가 기본 키에 대하여 이행적 함수 종속이 아니면 어떤 정규형에 해당하는가?