정규형에는 제1정규형이라고 불리는 보이스코드 정규형(BCNF)이 있지.


 정규형을 알기 전에 함수종속에 대해 알아야되는데,


 스키마 R에 대해 R에 속하는 두개의 속성(혹은 속성 집합) a,b에 대해


 어떠한 적법한 릴레이션 r(R)에 대해 모든 튜플의 쌍 t1[a] = t2[a]이면, t1[b] = t2[b]이라는 조건을 만족한다면, 함수 종속 a->b는 스키마 R을 보존한다고 해.


 이 말은 곧 함수 종속 a->b가 스키마 R에 대해 성립할 때,  t1[a] = t2[a]면 당연히 t1=t2가 되는 것이므로 슈퍼키의 정의의 대우와 같다고 할 수 있어.


 따라서 함수 종속 K->R이 성립한다면 K는 R의 슈퍼키이다. 라고 말할 수 있는 것이지.


 어떤 함수 종속은 모든 릴레이션에 대해 만족하기 때문에 자명하다(trivial)라고 하는데 여기서 trivial이라는 말은 사소하다라는 의미를 가지고 있는데 프로그래밍에서는 아주 약간의 조작을 통해 결론을 도출해낼 수 있다. 이런 뜻으로 쓰여.


 예를 들어 A->A 는 A 라는 속성을 지니는 모든 릴레이션에 의해 만족되므로 자명하다라고 해


 또한 함수 종속 F를 통해 유추(infer)될 수 있는 모든 함수 종속의 집합을 F의 폐포(closure)라고 하고 F+라고 표기해.


 다음 시간에는 제 1 정규형인 보이스코드 정규형(BCNF)에 대해 알아볼게