Closure of a set of FDs, F+

은근히 이걸 보기 위해 들어오는 분이 있어서 부분 설명 달아드립니다.

 

1. Reflexivity Rule if β ⊆ α, then α → β

2. Augmentation Rule if α → β, then γα → γβ

    A -> B는 앞뒤로 Y를 붙일 수 있네요.

   YA->YB 처럼요!!!

 

3. Transitivity Rule if α → β and β → γ, then α → γ

    A -> B

           B -> C

 

   A이면 B입니다.

            B이면 C이기도 하네요.

 

   그러므로 A->C.

 

4. Union Rule if α → β and α → γ, then α → βγ

   A -> B,      A -> Y 

  A -> BY. 합칠수 있습니다.

 

5. Decomposition Rule if α → βγ , then α → β and α → γ

    A -> BY

    A -> B, A -> Y  이렇게 두개로 분리가 되죠. 유니온의 반대 개념이네요.

 

6. Pseudotranstivity Rule if α → β and γβ → δ, then αγ → δ

    A이면 B이고 YB이면 Z이다. 따라서 AY는 Z 이다.

    A -> B

          YB-> Z

 

   즉 가운데 겹치는 B를 제거하고 AY -> Z 이다가 되는 겁니다.

   Y가 A랑 붙는 것은 법칙이 원래 이런것이니 참고하세요.

 

 

Armstrong’s Axioms

- do not generate incorrect functional dependencies (sound)

- generate all F+ (complete)