#noindex
TODO DB의 NF 외의 것을 [[노멀폼,normal_form]]로 mv. [[Date(2023-12-04T14:20:53)]] start

----
pagename ?? or '''정규형식'''?

= 미분방정식의 정규형 =
가장 많이 미분한 도함수를 등호 한쪽으로 뺀 것?
... Google:미분방정식+정규형

= DB의 정규형 =
'''rel. [[정규화normalization]]'''

''이하 편집 안 끝나고 가져옴, TOCLEANUP''

----
높은 차수로 갈수록 조건이 까다로워짐.
//// 각 종류마다 <(xxx)정규화에 해당하는 (xxx)정규형> 이 존재... 

제1정규형,1NF first normal form =,1NF .
 [[도메인domain]]은 모두 원자값이어야 함.
 제1정규형이려면, 한 [[릴레이션relation]]을 구성하는 모든 [[도메인domain]]이 [[원자값atomic_value]]만으로 구성되어야 함.
 [[https://terms.naver.com/entry.naver?docId=3431249&cid=58430&categoryId=58430&expCategoryId=58430 DB개론: 제1정규형]]

https://simple.wikipedia.org/wiki/First_normal_form
WpKo:제1정규형
https://wiki.c2.com/?FirstNormalForm



제2정규형,2NF - 여기까지는 정규화 된 게 아님 - second normal form =,2NF .
 제2정규형은, 제1정규형을 만족하면서, 모든 column''([[속성attribute]])''이 완전종속관계(qqq =[[완전함수적종속성full_functional_dependency]]? ) 를 가지는 것.
 제1정규형만 만족시키는 [[릴레이션relation]]에서 [[부분함수적종속성partial_functional_dependency]]을 가지게 되는 경우 삽입이상, 갱신이상, 삭제이상 세가지 이상현상이 모두 나타나게 됨.
 /////qqqq 보통 릴레이션을 둘로 분할하는 과정이 있음??
 [[https://terms.naver.com/entry.naver?docId=3431250&cid=58430&categoryId=58430&expCategoryId=58430 DB개론: 제2정규형]]

https://simple.wikipedia.org/wiki/Second_normal_form
https://wiki.c2.com/?SecondNormalForm



제3정규형,3NF - 여기서부터는 정규화되었다고 본다 보통...chk - third normal form   =,3NF .
 제2정규형에 속하면서 [[기본키primary_key]]가 아닌 모든 [[속성attribute]]이 기본키에 이행적 함수 종속이 되지 않으면 3NF임.
 3NF 테이블의 대부분이 삽입, 변경, 삭제 이상이 없으며, 3NF 테이블의 대부분이 BCNF, 4NF, 5NF이다.[* https://yaboong.github.io/database/2018/03/09/database-normalization-1/]
 [[https://terms.naver.com/entry.naver?docId=3431251&cid=58430&categoryId=58430 DB개론: 제3정규형]]

https://simple.wikipedia.org/wiki/Third_normal_form
https://wiki.c2.com/?ThirdNormalForm


보이스-코드_정규형,BCNF  ====,bcnf .
 보이스-코드 정규형 (BCNF; Boyce-Codd Normal Form)
 3NF보다 조금 더 엄격한 제약조건을 가지기 때문에 strong 3NF 라고도 함.
 [[https://terms.naver.com/entry.naver?docId=3431252&cid=58430&categoryId=58430 DB개론: 보이스/코드 정규형 Boyce/Codd Normal Form]]

https://everything2.com/title/Boyce-Codd+Normal+Form (short)
[[WpEn:Boyce–Codd_normal_form]]
 = https://en.wikipedia.org/wiki/Boyce–Codd_normal_form


제4정규형,4NF - /////여기부터는 3NF와 크게 다르지 않다고....chk


제5정규형,5NF


제6정규형,6NF

----
밀접: [[정규화normalization]]
 chk: 정규화한 결과가 정규형? or 정규화는 정규형에 맞추기 위한 행동?

[[정규형,normal_form]] page mk?
[[표준형,normal_form]] page mk?
{
prenex_normal_form PNF
https://mathworld.wolfram.com/PrenexNormalForm.html
WpKo:프리넥스_표준형 = https://ko.wikipedia.org/wiki/프리넥스_표준형
WpEn:Prenex_normal_form = https://en.wikipedia.org/wiki/Prenex_normal_form

disjunctive_normal_form DNF
WpEn:Disjunctive_normal_form
 = https://en.wikipedia.org/wiki/Disjunctive_normal_form

conjunctive_normal_form CNF
WpKo:논리곱_표준형
 = https://ko.wikipedia.org/wiki/논리곱_표준형
WpEn:Conjunctive_normal_form
 = https://en.wikipedia.org/wiki/Conjunctive_normal_form
 "aka clausal 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 ... }
WpEn:Canonical_normal_form
 = https://en.wikipedia.org/wiki/Canonical_normal_form

Skolem_normal_form
[[WpKo:스콜렘_표준형]]
 = https://ko.wikipedia.org/wiki/스콜렘_표준형
 "은 보편 양화사만으로 이루어진 프리넥스 표준형 1차 논리식을 가리킨다."
 rel 스콜렘화 Skolemization

algebraic_normal_form (also called Zhegalkin or Reed–Muller)
{
algebraic_normal_form (ANF), ring_sum_normal_form (RSNF or RNF), Zhegalkin_normal_form, or Reed–Muller_expansion (wpen)
rel. Zhegalkin_polynomial { [[WpEn:Zhegalkin_polynomial]] } , WpEn:Reed–Muller_code , [[Karnaugh_map]] { WpKo:카노_맵  WpEn:Karnaugh_map }

[[WpEn:Algebraic_normal_form]]
= https://en.wikipedia.org/wiki/Algebraic_normal_form
}

[[negation_normal_form]] NNF =,negation_normal_form =,NNF NNF negation_normal_form
{
negation normal form

[[WtEn:negation_normal_form]]

[[WpEn:Negation_normal_form]] = https://en.wikipedia.org/wiki/Negation_normal_form

"negation normal form"
}

[[Jordan_normal_form]] =,Jordan_normal_form . =,JNF ??
{

WtEn:Jordan_normal_form ?

WpEn:Jordan_normal_form ?

"Jordan normal form is a canonical form for matrix_similarity."[* WpEn:Canonical_form]

"Jordan normal form"
}

[[beta_normal_form]] =,beta_normal_form . beta_normal_form
{
beta normal form

WtEn:beta_normal_form

[[WpEn: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.

Bing:"beta normal form"
"beta normal form"

}

[[beta-eta_normal_form]] =,beta-eta_normal_form . beta-eta_normal_form
{
via [[WpEn: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."
}

...

rel.
[[WpEn:Normalization]]
= https://en.wikipedia.org/wiki/Normalization

[[WpEn:Normal_form]]
= https://en.wikipedia.org/wiki/Normal_form

[[WpEn:Normal_form_(abstract_rewriting)]]
= https://en.wikipedia.org/wiki/Normal_form_%28abstract_rewriting%29
}

Up: [[database]]
[[형식,form]]?

RENAMETHISPAGE