Attribute Closure

클로저는 주어진 속성에서 어디까지 결정되는지 계산한다

A⁺는 A에서 출발해 함수 종속을 반복 적용했을 때 얻을 수 있는 모든 속성의 집합이다.

순서현재 클로저적용한 FD판정
0{A}출발 속성아직 A만 안다
1{A, B}A → BB를 추가
2{A, B, C}B → CC를 추가
3{A, B, C, D, E}A → D, D → E전체 속성에 닿아 슈퍼키