Difference between r1.17 and the current
@@ -5,7 +5,7 @@
----
Sub:
(normal forms (NFs))
[[제3정규형,third_normal_form]]
[[제4정규형,fourth_normal_form]]
Sub:
(normal forms (NFs))
[[제1정규형,first_normal_form]] 1NF
[[제1정규형,first_normal_form]] 1NF // 그냥 1st_normal_form ... 이렇게 할까
[[제2정규형,second_normal_form]][[제3정규형,third_normal_form]]
[[제4정규형,fourth_normal_form]]
TODO DB의 NF 외의 것을 노멀폼,normal_form로 mv. 2023-12-04 start
pagename ?? or 정규형식?
Sub:
(normal forms (NFs))
제1정규형,first_normal_form 1NF // 그냥 1st_normal_form ... 이렇게 할까
제2정규형,second_normal_form
제3정규형,third_normal_form
제4정규형,fourth_normal_form
제5정규형,fifth_normal_form ??
(normal forms (NFs))
제1정규형,first_normal_form 1NF // 그냥 1st_normal_form ... 이렇게 할까
제2정규형,second_normal_form
제3정규형,third_normal_form
제4정규형,fourth_normal_form
제5정규형,fifth_normal_form ??
Boyce-Codd_normal_form BCNF ?
Boyce-Codd normal form
Boyce-Codd normal form Boyce-Codd normal form Boyce-Codd normal form
Boyce-Codd normal form
Boyce-Codd normal form Boyce-Codd normal form Boyce-Codd normal form
DB의 정규형 ¶
rel. 정규화normalization
이하 편집 안 끝나고 가져옴, TOCLEANUP
높은 차수로 갈수록 조건이 까다로워짐.
//// 각 종류마다 <(xxx)정규화에 해당하는 (xxx)정규형> 이 존재...
//// 각 종류마다 <(xxx)정규화에 해당하는 (xxx)정규형> 이 존재...
제1정규형,1NF first normal form =,1NF .
제1정규형
https://wiki.c2.com/?FirstNormalForm
도메인domain은 모두 원자값이어야 함.
제1정규형이려면, 한 릴레이션relation을 구성하는 모든 도메인domain이 원자값atomic_value만으로 구성되어야 함.
DB개론: 제1정규형
https://simple.wikipedia.org/wiki/First_normal_form제1정규형이려면, 한 릴레이션relation을 구성하는 모든 도메인domain이 원자값atomic_value만으로 구성되어야 함.
DB개론: 제1정규형
제1정규형
https://wiki.c2.com/?FirstNormalForm
제2정규형,2NF - 여기까지는 정규화 된 게 아님 - second normal form =,2NF .
https://simple.wikipedia.org/wiki/Second_normal_form
https://en.wikipedia.org/wiki/Second_normal_form
제2정규형은, 제1정규형을 만족하면서, 모든 column(속성attribute)이 완전종속관계(qqq =완전함수적종속성full_functional_dependency? ) 를 가지는 것.
제1정규형만 만족시키는 릴레이션relation에서 부분함수적종속성partial_functional_dependency을 가지게 되는 경우 삽입이상, 갱신이상, 삭제이상 세가지 이상현상이 모두 나타나게 됨.
/////qqqq 보통 릴레이션을 둘로 분할하는 과정이 있음??
DB개론: 제2정규형
https://wiki.c2.com/?SecondNormalForm제1정규형만 만족시키는 릴레이션relation에서 부분함수적종속성partial_functional_dependency을 가지게 되는 경우 삽입이상, 갱신이상, 삭제이상 세가지 이상현상이 모두 나타나게 됨.
/////qqqq 보통 릴레이션을 둘로 분할하는 과정이 있음??
DB개론: 제2정규형
https://simple.wikipedia.org/wiki/Second_normal_form
https://en.wikipedia.org/wiki/Second_normal_form
제3정규형,3NF - 여기서부터는 정규화되었다고 본다 보통...chk - third normal form =,3NF .
제2정규형에 속하면서 기본키primary_key가 아닌 모든 속성attribute이 기본키에 이행적 함수 종속이 되지 않으면 3NF임.
3NF 테이블의 대부분이 삽입, 변경, 삭제 이상이 없으며, 3NF 테이블의 대부분이 BCNF, 4NF, 5NF이다.[1]
DB개론: 제3정규형
2nf + 추이종속(이행적 종속) x3NF 테이블의 대부분이 삽입, 변경, 삭제 이상이 없으며, 3NF 테이블의 대부분이 BCNF, 4NF, 5NF이다.[1]
DB개론: 제3정규형
https://simple.wikipedia.org/wiki/Third_normal_form
https://en.wikipedia.org/wiki/Third_normal_form
https://wiki.c2.com/?ThirdNormalForm
https://ko.wikipedia.org/wiki/제3정규형
https://en.wikipedia.org/wiki/Third_normal_form
https://wiki.c2.com/?ThirdNormalForm
https://ko.wikipedia.org/wiki/제3정규형
보이스-코드_정규형,BCNF ====,bcnf .
Boyce–Codd_normal_form
제4정규형,4NF - /////여기부터는 3NF와 크게 다르지 않다고....chk
보이스-코드 정규형 (BCNF; Boyce-Codd Normal Form)
3NF보다 조금 더 엄격한 제약조건을 가지기 때문에 strong 3NF 라고도 함.
DB개론: 보이스/코드 정규형 Boyce/Codd Normal Form
https://everything2.com/title/Boyce-Codd Normal Form (short)3NF보다 조금 더 엄격한 제약조건을 가지기 때문에 strong 3NF 라고도 함.
DB개론: 보이스/코드 정규형 Boyce/Codd Normal Form
Boyce–Codd_normal_form
제4정규형,4NF - /////여기부터는 3NF와 크게 다르지 않다고....chk
제5정규형,5NF
제6정규형,6NF
밀접: 정규화normalization
표준형,normal_form page mk?
{
prenex_normal_form PNF
https://mathworld.wolfram.com/PrenexNormalForm.html
프리넥스_표준형 = https://ko.wikipedia.org/wiki/프리넥스_표준형
Prenex_normal_form = https://en.wikipedia.org/wiki/Prenex_normal_form
chk: 정규화한 결과가 정규형? or 정규화는 정규형에 맞추기 위한 행동?
정규형,normal_form page mk?표준형,normal_form page mk?
{
prenex_normal_form PNF
https://mathworld.wolfram.com/PrenexNormalForm.html
프리넥스_표준형 = https://ko.wikipedia.org/wiki/프리넥스_표준형
Prenex_normal_form = https://en.wikipedia.org/wiki/Prenex_normal_form
disjunctive_normal_form DNF
Disjunctive_normal_form
conjunctive_normal_form CNF
논리곱_표준형
Conjunctive_normal_form
canonical_normal_form CNF
"canonical_disjunctive_normal_form (CDNF)1 or minterm_canonical_form , and its dual, the canonical_conjunctive_normal_form (CCNF) or maxterm_canonical_form" (wpen)
MKLINK canonical_form { Sub: https://en.wikipedia.org/wiki/Blake_canonical_form ... }
Canonical_normal_form
Skolem_normal_form
스콜렘_표준형
{
algebraic_normal_form (ANF), ring_sum_normal_form (RSNF or RNF), Zhegalkin_normal_form, or Reed–Muller_expansion (wpen)
rel. Zhegalkin_polynomial { Zhegalkin_polynomial } , Reed–Muller_code , Karnaugh_map { 카노_맵 Karnaugh_map }
Disjunctive_normal_form
conjunctive_normal_form CNF
논리곱_표준형
Conjunctive_normal_form
canonical_normal_form CNF
"canonical_disjunctive_normal_form (CDNF)1 or minterm_canonical_form , and its dual, the canonical_conjunctive_normal_form (CCNF) or maxterm_canonical_form" (wpen)
MKLINK canonical_form { Sub: https://en.wikipedia.org/wiki/Blake_canonical_form ... }
Canonical_normal_form
Skolem_normal_form
스콜렘_표준형
= https://ko.wikipedia.org/wiki/스콜렘_표준형
"은 보편 양화사만으로 이루어진 프리넥스 표준형 1차 논리식을 가리킨다."
rel 스콜렘화 Skolemization
algebraic_normal_form (also called Zhegalkin or Reed–Muller)"은 보편 양화사만으로 이루어진 프리넥스 표준형 1차 논리식을 가리킨다."
rel 스콜렘화 Skolemization
{
algebraic_normal_form (ANF), ring_sum_normal_form (RSNF or RNF), Zhegalkin_normal_form, or Reed–Muller_expansion (wpen)
rel. Zhegalkin_polynomial { Zhegalkin_polynomial } , Reed–Muller_code , Karnaugh_map { 카노_맵 Karnaugh_map }
negation_normal_form NNF =,negation_normal_form =,NNF NNF negation_normal_form
{
negation normal form
{
negation normal form
"negation normal form"
}
}
"Jordan normal form is a canonical form for matrix_similarity."[2]
"Jordan normal form"
}
}
Beta_normal_form
= https://en.wikipedia.org/wiki/Beta_normal_form
"In the lambda_calculus, a term is in beta normal form if no beta_reduction is possible.
= https://en.wikipedia.org/wiki/Beta_normal_form
"In the lambda_calculus, a term is in beta normal form if no beta_reduction is possible.
}
beta-eta_normal_form =,beta-eta_normal_form . beta-eta_normal_form
{
via Beta_normal_form
{
via Beta_normal_form
= https://en.wikipedia.org/wiki/Beta_normal_form
"A term is in beta-eta normal form if neither a beta_reduction nor an eta_reduction is possible."
}"A term is in beta-eta normal form if neither a beta_reduction nor an eta_reduction is possible."
...
RENAMETHISPAGE