스키마 개선 및 분해

스키마 개선은 원하는 정규형에 도달하기 위해 릴레이션을 더 작은 릴레이션으로 분해하는 과정으로, 분해가 무손실이어야 하고 이상적으로는 원래의 종속성을 보존해야 한다는 요구사항을 따른다.

Definition

분해는 릴레이션 스키마 R을 속성들이 함께 R을 포함하는 스키마 집합으로 대체하는 것으로, 원래 릴레이션은 부분들을 조인하여 복구될 수 있고(무손실 조인), 가능할 때마다 모든 원래의 함수 종속성이 부분들에서 강제될 수 있도록 한다(종속성 보존).

Scope

이 주제는 관계형 스키마를 분해하기 위한 알고리즘과 기준을 다룬다: 무손실 조인 속성 및 테스트 방법, 종속성 보존과 더 높은 정규형과의 긴장 관계, 그리고 함수 종속성 집합으로부터 3NF(종속성 보존 및 무손실) 또는 BCNF(무손실) 설계를 생성하는 표준 합성 및 분해 알고리즘. 정규형 자체의 정의와 분해를 유도하는 종속성의 정의는 제외한다.

Core questions

• 분해를 무손실로 만드는 것은 무엇이며, 이 속성은 어떻게 테스트되는가?
• 분해가 종속성을 보존한다는 것은 무엇을 의미하는가?
• BCNF 분해는 왜 종속성 보존에 실패할 수 있는 반면 3NF 합성은 그렇지 않은가?
• 표준 BCNF 분해 및 3NF 합성 알고리즘은 어떻게 작동하는가?
• 실제로 BCNF와 3NF 사이의 선택은 어떻게 이루어지는가?

Key concepts

• 스키마 분해
• 무손실 조인 속성
• 종속성 보존
• 스퓨리어스 튜플
• BCNF 분해 알고리즘
• 3NF 합성 알고리즘
• 최소 커버
• BCNF와 3NF 간의 절충

Key theories

무손실 조인 분해

이진 분해는 두 부분의 공통 속성이 적어도 하나 이상의 키를 형성할 때 무손실이다. 무손실성은 부분들을 조인할 때 스퓨리어스 튜플 없이 정확히 원래 릴레이션을 재구성함을 보장한다.

종속성 보존

분해가 종속성을 보존한다는 것은 개별 부분에서 강제할 수 있는 종속성들의 합집합이 모든 원래 종속성을 함축하여, 조인을 재계산하지 않고도 일관성을 확인할 수 있음을 의미한다.

BCNF 분해 대 3NF 합성

BCNF 분해 알고리즘은 무손실성을 보장하지만 종속성 보존을 희생할 수 있는 반면, 최소 커버로부터의 3NF 합성 알고리즘은 3NF에서 멈출 가능성이 있다는 대가로 무손실 조인과 종속성 보존을 모두 보장한다.

Clinical relevance

분해 알고리즘은 정규화 이론이 실행 가능한 설계 절차가 되는 방식이다. 이를 적용하면 중복을 피하면서도 효율적으로 재구성 및 검증될 수 있는 스키마를 얻을 수 있으며, 이는 운영 데이터베이스의 정확성과 유지보수성에 직접적인 영향을 미친다.

History

무손실 조인 및 종속성 보존 분해 이론은 1970년대에 릴레이션 분할이 안전한 경우를 연구자들이 공식화하면서 발전했다. 종속성 보존 3NF 설계를 생성하는 합성 알고리즘과 BCNF가 종속성 보존과 충돌할 수 있다는 인식은 데이터베이스 교재의 표준 자료가 되었고 스키마 설계의 핵심으로 남아있다.

Key figures

• Edgar F. Codd
• Jeffrey D. Ullman
• Philip Bernstein

Seminal works

• silberschatz2019
• ramakrishnan2003
• garciamolina2008

Frequently asked questions

스퓨리어스 튜플은 무엇이며 왜 중요한가?

스퓨리어스 튜플은 잘못 선택된 분해의 부분들을 조인할 때 나타나지만 원래 릴레이션의 실제 튜플에 해당하지 않는 행이다. 무손실 조인 분해는 스퓨리어스 튜플을 생성하지 않는 분해이며, 이것이 무손실성이 협상 불가능한 요구사항인 이유이다.

BCNF 대신 3NF를 선택하는 이유는 무엇인가?

BCNF로 분해하는 것은 항상 무손실 조인 속성을 보존하지만 종속성 보존을 깨뜨릴 수 있으며, 이는 일부 제약 조건이 테이블을 조인해야만 확인할 수 있음을 의미한다. 3NF 합성 알고리즘은 무손실성과 종속성 보존을 모두 보장하므로, 설계자는 종속성 보존 BCNF 설계가 존재하지 않을 때 3NF를 받아들인다.