함수 종속성 normal form은 함수 종속성을 토대로 만들어진다. y = f(x)처럼 x에 대응되는 y값은 오직 하나인 것 처럼 relation에서 각 attribute간 함수의 성질을 만족하는 것이다. x functionally determines y X → Y iff, in every possible legal value of R, each X-value has associated with precisely one Y-value X가 R의 candidate key이면 R의 모든 attribute들은 X에 대한 FD가 성립한다. trival 종속성과 nontrivial 종속성은 2NF, 3NF을 구분하는데 중요하다. X -> Y가 성립할 때, Y가 X의 subset이면 trivial FD라고 한다...