A에서 출발한다.
→
왼쪽이 클로저 안에 있으면 오른쪽을 추가한다.
→
전체 속성에 닿으면 A는 슈퍼키다.
1{A}
2A→B 적용: {A,B}
3B→C 적용: {A,B,C}
4A→D, D→E 적용: 전체
A⁺는 A에서 출발해 함수 종속을 반복 적용했을 때 얻을 수 있는 모든 속성의 집합이다.
A에서 출발한다.
왼쪽이 클로저 안에 있으면 오른쪽을 추가한다.
전체 속성에 닿으면 A는 슈퍼키다.