Relational Database Design - 편집 역사

Pinkgo: /* 4NF Decomposition Algorithm */

2025-05-19T16:20:55Z

4NF Decomposition Algorithm

@@ 338번째 줄: / 338번째 줄: @@
   R<sub>5</sub> =(A,I)
   R<sub>6</sub> =(A,C,G)
 ==각주==

Pinkgo: /* 4NF Decomposition Algorithm */

2025-05-19T15:07:05Z

4NF Decomposition Algorithm

← 이전 판		2025년 5월 19일 (월) 15:07 판
322번째 줄:		322번째 줄:
	아래와 같은 BNCF에 속하는 스키마를 예를 들어 생각하자:		아래와 같은 BNCF에 속하는 스키마를 예를 들어 생각하자:
	r(ID, dept_name, street, city)		r(ID, dept_name, street, city)
	위의 스키마에서는 [[Relational Database Design#Decomposition Using Multivalued Dependencies#Multivalued Dependencies\|다값 종속성(multivalued dependency)]] <code>ID →→ dept_name</code>가 성립한다. 왜냐하면, instructor의 주소와 학과는 독립적인 관계를 가지므로, instructor의 주소 정보를 각 부서마다 반복해야 하기 때문이다. 이때 이 알고리즘을 (ID, dept_name, street, city)에 적용하면, <code>ID →→ dept_name</~~codee~~>이 비자명한 다중값 종속성이고, ID는 이 스키마의 슈퍼키가 아니다. 알고리즘을 따르면, 이 스키마는 다음의 두 스키마로 대체된다:		위의 스키마에서는 [[Relational Database Design#Decomposition Using Multivalued Dependencies#Multivalued Dependencies\|다값 종속성(multivalued dependency)]] <code>ID →→ dept_name</code>가 성립한다. 왜냐하면, instructor의 주소와 학과는 독립적인 관계를 가지므로, instructor의 주소 정보를 각 부서마다 반복해야 하기 때문이다. 이때 이 알고리즘을 (ID, dept_name, street, city)에 적용하면, <code>ID →→ dept_name</code>이 비자명한 다중값 종속성이고, ID는 이 스키마의 슈퍼키가 아니다. 알고리즘을 따르면, 이 스키마는 다음의 두 스키마로 대체된다:
	(ID, dept_name)		(ID, dept_name)
	(ID, street, city)		(ID, street, city)

Pinkgo: /* 4NF Decomposition Algorithm */

2025-05-19T15:06:22Z

4NF Decomposition Algorithm

← 이전 판		2025년 5월 19일 (월) 15:06 판
331번째 줄:		331번째 줄:
	R1 =(A,B) //4NF에 속함, A ∪ B = R<sub>1</sub>이므로		R1 =(A,B) //4NF에 속함, A ∪ B = R<sub>1</sub>이므로
	R<sub>2</sub> =(A,C,G,H,I)		R<sub>2</sub> =(A,C,G,H,I)

	이때 스키마 R<sub>2</sub>는 4NF에 속하지 않는데, 이는 CG가 슈퍼키가 아니고, <code>CG →→ H</code>가 자명하지 않기 때문이다. 따라서 이를 알고리즘에 적용하면 아래와 같이 분해된다.		이때 스키마 R<sub>2</sub>는 4NF에 속하지 않는데, 이는 CG가 슈퍼키가 아니고, <code>CG →→ H</code>가 자명하지 않기 때문이다. 따라서 이를 알고리즘에 적용하면 아래와 같이 분해된다.
	R<sub>3</sub> =(C,G,H) //4NF에 속함, CG ∪ H = R<sub>3</sub>이므로		R<sub>3</sub> =(C,G,H) //4NF에 속함, CG ∪ H = R<sub>3</sub>이므로

2025년 5월 19일 (월) 15:06에 Pinkgo님의 편집

2025-05-19T15:06:09Z

← 이전 판		2025년 5월 19일 (월) 15:06 판
339번째 줄:		339번째 줄:

	==각주==		==각주==
	~~[[분류:데이터베이스 시스템]]~~

Pinkgo: /* 4NF Decomposition Algorithm */

2025-05-19T15:05:42Z

4NF Decomposition Algorithm

← 이전 판		2025년 5월 19일 (월) 15:05 판
328번째 줄:		328번째 줄:
	R=(A,B,C,G,H,I)		R=(A,B,C,G,H,I)
	F ={A →→ B, B →→ HI, CG →→ H}		F ={A →→ B, B →→ HI, CG →→ H}
	이때 스키마 R은 4NF에 속하지 않는데, 이는 A가 슈퍼키가 아니고, <code>A →→ B</code>가 자명하지 않기 때문이다. 따라서 이를 알고리즘에 적용하면 아래와 같이 분해된다.		이때 스키마 R은 4NF에 속하지 않는데, 이는 A가 슈퍼키가 아니고, <code>A →→ B</code>가 자명하지 않기 때문이다. 따라서 이를 알고리즘에 적용하면 아래와 같이 분해된다:
	R1 =(A,B) //4NF에 속함, A ∪ B = R<sub>1</sub>이므로		R1 =(A,B) //4NF에 속함, A ∪ B = R<sub>1</sub>이므로
	R<sub>2</sub> =(A,C,G,H,I)		R<sub>2</sub> =(A,C,G,H,I)

Pinkgo: /* 4NF Decomposition Algorithm */

2025-05-19T15:05:19Z

4NF Decomposition Algorithm

← 이전 판		2025년 5월 19일 (월) 15:05 판
305번째 줄:		305번째 줄:
	//4NF를 위반하는 비자명한 다값 종속성 α →→ β를 찾는다. 비자명하다는 것은,		//4NF를 위반하는 비자명한 다값 종속성 α →→ β를 찾는다. 비자명하다는 것은,
	/*		/*
	1. ~~β가 Ri 전체가 아닌 부분 집합이라는 뜻~~		1. α → Ri가 Di에 속하지 않으므로, α가 Ri의 모든 속성을 결정하지 않는다. 즉, α가 슈퍼키가 아니다.
	2. α와 β가 겹치는 속성이 없어야 함 (α ∩ β = ∅)		2. α와 β가 겹치는 속성이 없어야 함 (α ∩ β = ∅)
	~~3. α가 슈퍼키가 아니다~~.		* 알고리즘에서 명시적으로 검사하지는 않지만, A ∪ B ≠ R을 만족해야 비자명하다.
	*/		*/
	let α →→ β be a nontrivial multivalued dependency that holds		let α →→ β be a nontrivial multivalued dependency that holds
319번째 줄:		319번째 줄:
	end		end
	else done := true;		else done := true;

	</syntaxhighlight>		</syntaxhighlight>
			아래와 같은 BNCF에 속하는 스키마를 예를 들어 생각하자:
			r(ID, dept_name, street, city)
			위의 스키마에서는 [[Relational Database Design#Decomposition Using Multivalued Dependencies#Multivalued Dependencies\|다값 종속성(multivalued dependency)]] <code>ID →→ dept_name</code>가 성립한다. 왜냐하면, instructor의 주소와 학과는 독립적인 관계를 가지므로, instructor의 주소 정보를 각 부서마다 반복해야 하기 때문이다. 이때 이 알고리즘을 (ID, dept_name, street, city)에 적용하면, <code>ID →→ dept_name</codee>이 비자명한 다중값 종속성이고, ID는 이 스키마의 슈퍼키가 아니다. 알고리즘을 따르면, 이 스키마는 다음의 두 스키마로 대체된다:
			(ID, dept_name)
			(ID, street, city)
			이 스키마 쌍은 4NF에 속하며, 우리가 이전에 마주했던 중복이 제거된 형태이다. 아래와 같이 좀 복잡한 예시도 살펴보자:
			R=(A,B,C,G,H,I)
			F ={A →→ B, B →→ HI, CG →→ H}
			이때 스키마 R은 4NF에 속하지 않는데, 이는 A가 슈퍼키가 아니고, <code>A →→ B</code>가 자명하지 않기 때문이다. 따라서 이를 알고리즘에 적용하면 아래와 같이 분해된다.
			R1 =(A,B) //4NF에 속함, A ∪ B = R<sub>1</sub>이므로
			R<sub>2</sub> =(A,C,G,H,I)
			이때 스키마 R<sub>2</sub>는 4NF에 속하지 않는데, 이는 CG가 슈퍼키가 아니고, <code>CG →→ H</code>가 자명하지 않기 때문이다. 따라서 이를 알고리즘에 적용하면 아래와 같이 분해된다.
			R<sub>3</sub> =(C,G,H) //4NF에 속함, CG ∪ H = R<sub>3</sub>이므로
			R<sub>4</sub> =(A,C,G,I)
			이때 스키마 R<sub>4</sub>는 4NF에 속하지 않는다. 이는 <code>A →→ B</code>와 <code>B →→ HI</code>에서 다중값 종속성 <code>A →→ HI</code>를 얻을 수 있는데, 이는 비자명한 함수 종속성이고, A가 슈퍼키가 아니기 때문이다. 따라서 이를 알고리즘에 적용하면 아래와 같이 분해된다.
			R<sub>5</sub> =(A,I)
			R<sub>6</sub> =(A,C,G)

	==각주==		==각주==
	[[분류:데이터베이스 시스템]]		[[분류:데이터베이스 시스템]]

Pinkgo: /* 4NF Decomposition Algorithm */

2025-05-19T14:09:17Z

4NF Decomposition Algorithm

@@ 295번째 줄: / 295번째 줄: @@
 ===4NF Decomposition Algorithm===
 ==각주==
 [[분류:데이터베이스 시스템]]

Pinkgo: /* Multivalued Dependencies */

2025-05-19T13:56:05Z

Multivalued Dependencies

← 이전 판		2025년 5월 19일 (월) 13:56 판
293번째 줄:		293번째 줄:
	만약 α →→ β 이면, α →→ (R − α − β) 도 성립한다.		만약 α →→ β 이면, α →→ (R − α − β) 도 성립한다.
	D를 함수/다중값 종속성의 집합이라고 하자. 이때 D<sup>+</sup>은 D로부터 논리적으로 유도될 수 있는 모든 함수 및 다중값 종속성들의 집합이다. 함수 종속성의 경우와 같이, 정의된 규칙들을 이용해 D<sup>+</sup>을 계산할 수 있다.		D를 함수/다중값 종속성의 집합이라고 하자. 이때 D<sup>+</sup>은 D로부터 논리적으로 유도될 수 있는 모든 함수 및 다중값 종속성들의 집합이다. 함수 종속성의 경우와 같이, 정의된 규칙들을 이용해 D<sup>+</sup>을 계산할 수 있다.

			===4NF Decomposition Algorithm===

	==각주==		==각주==
	[[분류:데이터베이스 시스템]]		[[분류:데이터베이스 시스템]]

Pinkgo: /* Decomposition Using Multivalued Dependencies */

2025-05-19T13:18:15Z

Decomposition Using Multivalued Dependencies

← 이전 판		2025년 5월 19일 (월) 13:18 판
258번째 줄:		258번째 줄:
	r21 (ID, dept_name)		r21 (ID, dept_name)
	r22 (ID, street, city)		r22 (ID, street, city)
	하지만, 이와 같은 분해를 유도하는 명시적인 제약조건은 없다. 이 문제를 해결하기 위해서는 다중값 종속성(multivalued dependency)라는 새로운 형태의 제약 조건을 정의해야 한다. 또한 이를 이용하여 새로운 정규형을 정의할 수 있으며, 이를 4NF(Fourth Normal Form)이라고 하며, 이는 BCNF보다 정규형이 강하다.		하지만, 이와 같은 분해를 유도하는 명시적인 제약조건은 없다. 이 문제를 해결하기 위해서는 다중값 종속성(multivalued dependency)라는 새로운 형태의 제약 조건을 정의해야 한다. 또한 이를 이용하여 새로운 정규형을 정의할 수 있으며, 이를 [[Normal Forms#Fourth Normal Form\|4NF(Fourth Normal Form)]]이라고 하며, 이는 BCNF보다 정규형이 강하다.

	===Multivalued Dependencies===		===Multivalued Dependencies===

Pinkgo: /* Multivalued Dependencies */

2025-05-19T13:14:09Z

Multivalued Dependencies

← 이전 판		2025년 5월 19일 (월) 13:14 판
292번째 줄:		292번째 줄:
	만약 α → β 이면, α →→ β도 성립한다. 즉, 함수 종속성은 다중값 종속성에 포함된다.		만약 α → β 이면, α →→ β도 성립한다. 즉, 함수 종속성은 다중값 종속성에 포함된다.
	만약 α →→ β 이면, α →→ (R − α − β) 도 성립한다.		만약 α →→ β 이면, α →→ (R − α − β) 도 성립한다.
			D를 함수/다중값 종속성의 집합이라고 하자. 이때 D<sup>+</sup>은 D로부터 논리적으로 유도될 수 있는 모든 함수 및 다중값 종속성들의 집합이다. 함수 종속성의 경우와 같이, 정의된 규칙들을 이용해 D<sup>+</sup>을 계산할 수 있다.

	==각주==		==각주==
	[[분류:데이터베이스 시스템]]		[[분류:데이터베이스 시스템]]