IT 위키 - 사용자 기여 [ko]

디피-헬먼 키 교환

2024-11-18T22:08:22Z

Lunalcni: 수식 적용 및 공유된 키에 대한 서술 오류 수정

[[분류:보안]][[분류:암호학]][[분류:정보보안기사]]
;Diffie-Hellman Key Exchange
디피라는 사람과 헬만 이라는 사람이 공동 개발했다고 해서 '디피-헬만'이다. 디피-헬만 키 교환법, 디피-헬만 알고리즘, 디피-헬만 프로토콜등 다양한 이름으로 불린다.

== 핵심 ==
; 디피-헬만법은 이산대수의 어려움을 이용한 알고리즘이다. 쉽게 말해 주어진 g, x, p 를 이용하여 y = g^x mod p 를 구하기는 쉽지만 g, y , p 값을 이용하여 원래의 x를 찾기 어렵다는 원리를 이용한 것이다.
* 비대칭키(공개키) 알고리즘에서 사용되는 키 교환 방식이다.
* 상대방의 공개키와 나의 개인키를 이용하여 비밀키를 생성한다.
* A의 공개키와 B의 개인키를 DH연산하면 B의 비밀키가 되고
* B의 공개키와 A의 개인키를 DH연산하면 A의 비밀키가 된다.
* 이산대수법에 의거한 수학적 공식에 의해 A의 비밀키와 B의 비밀키는 같아진다.
* 송신자와 수신자는 안전하게 교환된 비밀키를 사용하여 데이터를 암호화한 후 전달한다.

== 예시 ==
# 당사자들은 임의 큰 소수 p와 그보다 작은 자연수 g를 선택한다.
#* p=17와 그보다 작은 자연수 g=2로 선택했다.
# 각자 자신의 개인 키를 선택한다.
#*A의 개인 키 = 11
#* B의 개인 키 = 13
#상대방에게 각자 개인키로 g<개인 키> mod p를 계산한 공개 키를 보낸다.
#*A는 B에게 211(mod 17) = '''8'''을 보낸다.
#* B는 A에게 213(mod 17) = '''15'''를 보낸다.
#각자 <상대 공개 키><본인 개인 키>(mod p) 계산을 통해 비밀키를 만들어낸다.
#*A는 받은 15으로 계산한다. 1511(mod 17) = '''9'''
#* B는 받은 8로 계산한다. 813(mod 17) = '''9'''
#*공유된 키인 9를 사용한다.
#결론
#*A만 알고 있는 키는 11, B만 알고 있는 키는 13이다.
#* 외부에 노출될 우려가 있는 값은 2, 17, 8, 15이다. (노출 되어도 상관 없음)
#*둘만 알고 있는 키는 '''9'''이다. (개인 키를 모르기 때문에, 노출의 우려가 없음)

지금은 예시이기 때문에 매우 작은 숫자를 이용하였으나, 숫자가 수십~수백 자리로 커지게 되면 2, 17, 8, 15에 해당하는 숫자는 노출이 되어도 개인 키를 모르기 때문에 공유된 키 값을 유추하기 어렵다는 것이 수학적 안전성의 근거이다.

==취약점==
*신분위장 공격에 취약하다
**인증 과정이 없다.
**애초에 B가 아닌 사람이 B인척 하여 키를 교환할 수 있다.
**연산된 결과인 비밀키만 취득한 제 3자가 B 행세를 할 수도 있다.
*재전송 공격에 취약하다
** 암호화된 정보를 스니핑 해서 재전송 함으로써 행위를 조작할 수 있다.
**'''정보의 무결성이 보장되지 않는다'''

;디피-헬만 키 교환은 단순히 안전한 키 교환에 의한 안전성에 의존하므로 단독으로 사용하기엔 부족하다. 디피-헬만은 수 많은 프로토콜에서 사용되고 있지만 모두 인증, 무결성, 부인방지 등의 추가적인 안전성을 더해서 사용한다.

==출처==
출처 : [[http://raisonde.tistory.com/entry/디피-헬만-키-교환-알고리즘Diffie-Hellman-key-exchange 지식잡식 블로그]]

데이터 링크 계층

2023-10-26T04:43:53Z

Lunalcni: 상위 문서 링크

[[분류:네트워크]]
==개요==
* [[OSI 7계층]] 모델의 2번째 계층
* 데이터 패킷을 생성하고 전송하는 방법을 규정한다.

==하위 계층 2개==
===[[MAC]]===
* Media Access Control
* 장비가 네트워크 매체에 대한 접근을 통제하는데 사용되는 절차

===[[LLC]]===
* Logical Link Control
* 네트워크 노드 장비 간 논리적 연결 수립·제어 명세

== 프로토콜 ==
* [[HDLC]]
* [[이더넷|이더넷(Ethernet)]]: 현재 가장 많이 쓰인다
* [[X.25]]: [[패킷 스위칭]] 2계층 기술로, 현재는 거의 사용되지 않는다.
* [[FrameRelay]]: [[패킷 스위칭]] 2계층 기술로, 현재는 거의 사용되지 않는다.
* [[ATM]]: [[패킷 스위칭]] 2계층 기술로, 현재는 거의 사용되지 않는다.
* [[토큰링|토큰링(Token Ring)]]
* [[DFFI]]
* [[L2TTP]]
* [[L2F]]
* [[PPP]]
* [[PPTP]]
* [[MPLS]]

==3가지 기능==
===회선제어===
* 노드와 노드간의 통신 제어 규범(line discipline)
* 회선 분류 : 점대점 또는 멀티포인트 회선, 단방향 또는 반이중 또는 양방향
* 절차: 회선 연결 → 데이터 링크 확립 → 데이터 전송 → 데이터 링크 해제 → 회선 절단

===흐름제어===
* 수신 장치의 용량 이상으로 데이터가 넘치지 않도록 송신 장치를 제어
* 제어방식 : [[정지-대기 기법]](Stop and Wait), [[슬라이딩 윈도우]](Sliding Window)

===오류제어===
* 감쇠, 잡음, 주파수혼란 등으로 전송된 데이터상에 발생될 수 있는 오류의 해결을 위한 제어
* 오류 제어 기술로 [[순방향 오류 정정]](FEC)와 [[자동 재전송 요구]](ARQ)등이 있다.

OSI 7계층

2023-10-26T04:43:00Z

Lunalcni: 띄어쓰기 수정 및 링크 위치 변경

== 개요 ==
* Open Systems Interconnection Reference Model 7 Layer
*:-개방형 시스템 상호연결 참조 모델 7계층
* 국제 표준화 기구(ISO)에서 개발한 통신에 관한 계층화 표준 모델

== 의의 ==
* 분산된 이기종 시스템간의 네트워크 상호호환을 위한 표준 아키텍처를 정의할수 있다.
* 통신에 관련된 목적을 달성하기 계층별로 분할하여 분업이 가능하다. (Divide and conquer)
* 기술표준인 기존 TCP 4계층 모델이 계층별로 역할이 불명확하여 발생했던 많은 문제들에 대한 해답을 제시한다.

== 7계층 ==
=== Layer 1 : 물리 계층(Physical layer) ===
* 물리적인 장치의 전기적, 전자적 연결에 대한 명세
* 디지털 데이터를 아날로그적인 전기적 신호로 변환하여 물리적인 전송이 가능케 한다.
* 주소 개념이 없으며 물리적으로 연결된 노드간에 신호를 주고 받는다.

- 단위(PDU) : 비트(Bit)
- 주요 프로토콜 : [[X.21]], [[RS-232]] 등
- 주요 장비 : [[허브]](HUB), [[리피터]](Repeater) [[네트워크 카드]](NIC : Network Interface Card) 등

=== [[데이터 링크 계층|Layer 2: 데이터 링크 계층(Data link layer)]] ===
* 인접한 노드간의 신뢰성 있는 데이터(단위 : 프레임) 전송을 제어('''Node-to-Node Delivery''')
* 네트워크 카드의 [[MAC]](Media Access Control)주소를 통해 목적지를 찾아간다.
* 신뢰성 있는 전송을 위해 흐름제어(Flow Control), 오류제어(Error Control), 회선제어(Line Control)을 수행한다.
* 논리링크제어계층, 매체접근제어계층이라는 두 개의 부계층으로 나뉜다.

- 단위(PDU) : 프레임(Frame)
- 주요 프로토콜 : [[HDLC]], [[X.25]], [[Ethernet]], [[TokenRing]], [[DFFI]], [[FrameRelay]] 등
- 주요 장비 : [[브리지]](Bridge), [[L2 Switch]] 등

=== Layer 3: 네트워크 계층(Network layer) ===
* 종단간 전송을 위한 경로 설정을 담당한다. ('''End-To-End''' 혹은 '''Host-To-Host Delivery''')
* 호스트로 도달하기 위한 최적의 경로를 라우팅 알고리즘을 통해 선택하고 제어한다.
* 종단간 전송을 위한 주소로 IP주소를 사용한다.
* 최대크기1500바이트

- 단위(PDU) : 패킷(Packet)
- 주요 프로토콜 - IP, ARP, ICMP, IGMP, RIP, RIP v2, OSPF, IGRP, EIGRP, BGP 등
- 주요 장비 : [[라우터]](Router), [[L3 Switch]]
=== Layer 4: 전송 계층(Transport layer) ===
* 종단간 신뢰성 있는 데이터 전송을 담당한다. ('''End-To-End Reliable Delivery''')
* 종단(Host)의 구체적인 목적지(Process)까지 데이터가 도달할 수 있도록 한다. ('''Process-To-Process Communication''')
* Process를 특정하기 위한 주소로 Port Number를 이용한다.
* 신뢰성 있는 데이터 전송을 위해 분할과 재조합, 연결제어, 흐름제어, 오류제어, 혼잡제어를 수행한다.

- 단위(PDU) : 세그먼트(Segment)
- 주요 프로토콜 : [[TCP]], [[UDP]]
- 주요 장비 : L4 Switch

=== Layer 5: 세션 계층(Session layer) ===
* 응용 프로그램간의 논리적인 연결(세션) 생성 및 제어를 담당한다.
* TCP/IP 통신 연결을 수립/ 유지/중단

- 단위(PDU) : 데이터(Data) 또는 메세지(Message)
- 주요 프로토콜 : 해당사항 없음
- 주요 장비 : 해당사항 없음
=== Layer 6: 표현 계층(Presentation layer) ===
* 데이터 표현방식, 상이한 부호체계 간의 변화에 대해 규정한다.
* 인코딩/디코딩, 압축/해제, 암호화/복호화 등의 역할을 수행한다.

- 단위(PDU) : 데이터(Data)
- 주요 프로토콜 : 해당사항 없음
- 주요 장비 : 해당사항 없음
=== Layer 7: 응용 계층(Application layer) ===

* 응용서비스 HTTP, SMTP

- 단위(PDU) : 데이터(Data)
- 주요 프로토콜 : TELNET, FTP, SMTP, HTTP 등
- 주요 장비 : 해당사항 없음

[[분류:네트워크]]
[[분류:정보처리기사]]
[[분류:정보보안기사]]

데이터링크 계층

2023-10-26T04:40:39Z

Lunalcni: Lunalcni님이 데이터링크 계층 문서를 데이터 링크 계층 문서로 이동했습니다: 띄어쓰기 수정

#넘겨주기 [[데이터 링크 계층]]

데이터 링크 계층

2023-10-26T04:40:38Z

Lunalcni: Lunalcni님이 데이터링크 계층 문서를 데이터 링크 계층 문서로 이동했습니다: 띄어쓰기 수정

[[분류:네트워크]]
==개요==
* OSI 모델에서의 2번째 계층
* 데이터 패킷을 생성하고 전송하는 방법을 규정한다.

==하위 계층 2개==
===[[MAC]]===
* Media Access Control
* 장비가 네트워크 매체에 대한 접근을 통제하는데 사용되는 절차

===[[LLC]]===
* Logical Link Control
* 네트워크 노드 장비 간 논리적 연결 수립·제어 명세

== 프로토콜 ==
* [[HDLC]]
* [[이더넷|이더넷(Ethernet)]]: 현재 가장 많이 쓰인다
* [[X.25]]: [[패킷 스위칭]] 2계층 기술로, 현재는 거의 사용되지 않는다.
* [[FrameRelay]]: [[패킷 스위칭]] 2계층 기술로, 현재는 거의 사용되지 않는다.
* [[ATM]]: [[패킷 스위칭]] 2계층 기술로, 현재는 거의 사용되지 않는다.
* [[토큰링|토큰링(Token Ring)]]
* [[DFFI]]
* [[L2TTP]]
* [[L2F]]
* [[PPP]]
* [[PPTP]]
* [[MPLS]]

==3가지 기능==
===회선제어===
* 노드와 노드간의 통신 제어 규범(line discipline)
* 회선 분류 : 점대점 또는 멀티포인트 회선, 단방향 또는 반이중 또는 양방향
* 절차: 회선 연결 → 데이터 링크 확립 → 데이터 전송 → 데이터 링크 해제 → 회선 절단

===흐름제어===
* 수신 장치의 용량 이상으로 데이터가 넘치지 않도록 송신 장치를 제어
* 제어방식 : [[정지-대기 기법]](Stop and Wait), [[슬라이딩 윈도우]](Sliding Window)

===오류제어===
* 감쇠, 잡음, 주파수혼란 등으로 전송된 데이터상에 발생될 수 있는 오류의 해결을 위한 제어
* 오류 제어 기술로 [[순방향 오류 정정]](FEC)와 [[자동 재전송 요구]](ARQ)등이 있다.

데이터베이스 키

2023-10-23T01:24:20Z

Lunalcni: 외부 키 성질에 대한 잘못된 서술 수정

[[분류:데이터베이스]][[분류:정보처리기사]]
;Database Key
;릴레이션의 튜플을 식별하기 위한 속성의 집합

== 특징 ==
* 유일성: 유일한 값을 가져야 한다.
* 최소성: 최소한의 값으로 식별할 수 있어야 한다.
* 불변성: 변하는 값이어선 안된다.
* 존재성: 반드시 존재해야 한다. 누구한텐 있고 누구한테는 없어선 안된다.

== 종류 ==
=== 슈퍼 키(Super Key) ===
* 어떤 릴레이션의 어떠한 튜플들도 같은 값을 가지지 않는 속성, 또는 속성들의 조합
* 유일성 O / 최소성<ref>최소성은 단순히 집합의 개수를 얘기하는 것이 아니라, 속성 집합에서 하나의 속성을 제거하는 경우 더 이상 해당 속성 집합이 릴레이션의 튜플을 식별할 수 없는 것을 말한다</ref> X

=== 후보 키(Candidate Key) ===
* Tuple을 유일하게 식별하기 위해 사용되는 속성들의 부분집합
* 유일성 O / 최소성 O

=== [[데이터베이스 기본 키|기본 키(Primary Key)]] ===
* 후보키 중 선정된 Key
* 중복된 값 X / Not Null / 유일성 O / 최소성 O

=== 대체 키(Alternate Key) ===
* 후보 키 중 선정된 기본 키를 뺀 나머지 키들
* 유일성 O / 최소성 O

=== 외부 키(Foreign Key)===
* 다른 릴레이션의 Primary Key를 참조하는 속성
* 중복 여부에 따라
** 중복인 경우, 일대다 관계(One-to-Many Relationship)
** 중복이 아닌 경우, 일대일 관계(One-to-One relationship)
* Not Null 여부에 따라
** Not Null인 경우, 필수 관계(Mandatory Relationship)
** Nullable인 경우, 선택 관계(Optional Relationship)

== 예시 ==
{| class="wikitable"
!사번
!이름
!나이
!이메일
|-
|100
|김씨
|30
|kim1@gmail.com
|-
|200
|김씨
|41
|kim2@gmail.com
|-
|300
|이씨
|38
|lee@gmail.com
|-
|400
|박씨
|29
|park@gmail.com
|}

=== 슈퍼 키 목록 ===
릴레이션의 튜플을 식별할 수 있는 모든 속성 집합

* (사번)
* (사번, 이름)
* (사번, 이름, 나이)
* (사번, 이름, 나이, 이메일)
* (이름, 나이)
* (이름, 나이, 이메일)
* (이메일)

=== 후보 키 목록 ===
슈퍼 키 중 최소성을 만족하는 속성 집합

* (사번)
* (이름, 나이)
* (이메일)

=== 기본 키와 대체 키 ===
설계자의 판단에 따라 구분

* 기본 키: (사번)
* 대체 키: (이름, 나이), (이메일)

데이터베이스 키

2023-10-23T01:14:17Z

Lunalcni: 예시 추가 및 최소성에 대한 설명 추가

[[분류:데이터베이스]][[분류:정보처리기사]]
;Database Key
;릴레이션의 튜플을 식별하기 위한 속성의 집합

== 특징 ==
* 유일성: 유일한 값을 가져야 한다.
* 최소성: 최소한의 값으로 식별할 수 있어야 한다.
* 불변성: 변하는 값이어선 안된다.
* 존재성: 반드시 존재해야 한다. 누구한텐 있고 누구한테는 없어선 안된다.

== 종류 ==
=== 슈퍼 키(Super Key) ===
* 어떤 릴레이션의 어떠한 튜플들도 같은 값을 가지지 않는 속성, 또는 속성들의 조합
* 유일성 O / 최소성<ref>최소성은 단순히 집합의 개수를 얘기하는 것이 아니라, 속성 집합에서 하나의 속성을 제거하는 경우 더 이상 해당 속성 집합이 릴레이션의 튜플을 식별할 수 없는 것을 말한다</ref> X

=== 후보 키(Candidate Key) ===
* Tuple을 유일하게 식별하기 위해 사용되는 속성들의 부분집합
* 유일성 O / 최소성 O

=== [[데이터베이스 기본 키|기본 키(Primary Key)]] ===
* 후보키 중 선정된 Key
* 중복된 값 X / Not Null / 유일성 O / 최소성 O

=== 대체 키(Alternate Key) ===
* 후보 키 중 선정된 기본 키를 뺀 나머지 키들
* 유일성 O / 최소성 O

=== 외부 키(Foreign Key)===
* 다른 릴레이션의 Primary Key를 참조하는 속성
* 중복된 값 X / Not Null / 유일성 O / 최소성 O

== 예시 ==
{| class="wikitable"
!사번
!이름
!나이
!이메일
|-
|100
|김씨
|30
|kim1@gmail.com
|-
|200
|김씨
|41
|kim2@gmail.com
|-
|300
|이씨
|38
|lee@gmail.com
|-
|400
|박씨
|29
|park@gmail.com
|}

=== 슈퍼 키 목록 ===
릴레이션의 튜플을 식별할 수 있는 모든 속성 집합

* (사번)
* (사번, 이름)
* (사번, 이름, 나이)
* (사번, 이름, 나이, 이메일)
* (이름, 나이)
* (이름, 나이, 이메일)
* (이메일)

=== 후보 키 목록 ===
슈퍼 키 중 최소성을 만족하는 속성 집합

* (사번)
* (이름, 나이)
* (이메일)

=== 기본 키와 대체 키 ===
설계자의 판단에 따라 구분

* 기본 키: (사번)
* 대체 키: (이름, 나이), (이메일)

데이터베이스 정규화

2023-10-19T14:19:05Z

Lunalcni:

[[분류:데이터베이스]]
[[분류:정보처리기사]]

;;Database Normalization

==[[데이터베이스 이상 현상|이상(Anomaly) 현상]]==

*정규화를 거치지 않은 데이터베이스에서 발생할 수 있는 현상
*데이터들이 불필요하게 중복되어 릴레이션 조작에 예기치 못한 문제 발생
*애트리뷰트들의 종속관계를 하나의 릴레이션에 표현하기 때문에 발생

===이상 종류===

;삽입할 때 잘못 삽입됨, 갱신할 때 잘못 갱신됨 등의 일반적인 내용이다. 아래 정규화과정에서 예시 참고

*'''삽입 이상(Insertion Anomaly)'''
**데이터 삽입 시 의도와 다른 값들도 삽입됨
*'''삭제 이상(Delete Anomaly)'''
**데이터 삭제 시 의도와 다른 값들도 연쇄 삭제됨
*'''갱신 이상(Update Anomaly)'''
**속성값 갱신 시 일부 튜플만 갱신되어 모순 발생

==정규화 목적==

*중복을 배제하여 삽입, 삭제, 갱신 이상의 발생을 방지
*각 릴레이션에 중복된 종속성을 여러개의 릴레이션에 분할
*어떠한 릴레이션이라도 데이터베이스 내에서 표현 가능하게 함
*데이터 삽입 시 릴레이션을 재구성할 필요성 감소
*효과적인 검색 알고리즘 생성 가능

==정규화 과정==
===1NF===

;First Normal Form

1NF를 만족하려면 '''도메인이 원자값'''이어야 한다.

*'''1NF를 만족하지 않는 릴레이션'''

:{| class="wikitable"
!수강과목
!수강자
|-
|수학
|홍길동
|-
|과학
|임꺽정, 신사임당
|-
|사회
|홍길동, 임꺽정
|}
{| class="wikitable"
|+
!수강과목
!수강자1
!수강자2
!수강자3
|-
|국어
|홍길동
|
|
|-
|수학
|신사임당
|홍길동
|
|-
|영어
|고길동
|신사임당
|홍길동
|}
:*수강자 속성이 원자값이 아니다.
:*유사한 속성이 중복, 반복되는 경우도 정규화의 대상이 된다

* '''발생할 수 있는 이상(Anomaly)의 예'''
**'''갱신 이상''': 홍길동이 사회과목을 '역사'로 바꾸었다. 그럼 임꺽정이 듣고 있는 사회 과목도 바뀌어버린다.
*** UPDATE 과목 SET 수강과목 = '역사' WHERE 수강과목 = '사회' AND 수강자 = '홍길동'
**'''삭제 이상''': 임꺽정이 '과학' 과목을 수강취소했다. 그럼 신사임당의 수강 정보도 삭제된다.
***DELETE FROM 과목 WHERE 수강과목 = '과학' AND 수강자 = '임꺽정'
*'''1NF를 만족시키는 릴레이션'''

:{| class="wikitable"
!수강과목
!수강자
!일련번호
|-
|수학
|홍길동
|1
|-
|과학
|임꺽정
|2
|-
|과학
|신사임당
|3
|-
|사회
|홍길동
|4
|-
|사회
|임꺽정
|5
|}
:* 가장 간단한 것은 원자값으로 분해해 튜플로 구분하고 다른 키를 추가하는 것이다.
:*실제로 복잡한 테이블은 이렇게 단순하게 분해해버리면 다른 중복 문제들이 많이 생겨 테이블 구조를 따져봐야한다.

===2NF===

;Second Normal Form
;2NF를 만족하려면 '''부분적 함수 종속'''을 제거해야 한다.

*즉 완전 함수 종속이 되도록 해야 한다.
*'''2NF를 만족하지 않는 릴레이션'''

:{| class="wikitable"
!학번
!이름
!소속학과
!학과장
|-
|1901
|홍길동
|컴퓨터과
|김교수
|-
|1845
|임꺽정
|전자과
|박교수
|-
|1706
|신사임당
|기계과
|천교수
|-
| 1925
|장영실
|컴퓨터과
|김교수
|}
:*학번 <-> 이름+소속+학과장은 종속 관계가 있다.(한 학과내의 이름은 중복되지 않는다고 가정)
:*하지만 사실 학과장은 소속학과 하나만에도 종속(소속학과 <-> 학과장)되므로 이는 부분적인 종속관계가 포함되어 있다.
:*즉 학과장은 꼭 이 릴레이션에 있어야 할 필요도 없고, 이 릴레이션에 있는 순간 '김교수'와 같이 계속 중복적재 될것이다.
:* 지도교수 사무실도 학번에

*'''발생할 수 있는 이상(Anomaly)의 예'''
**삽입 이상: 컴퓨터과, 전자과, 기계과 학생을 추가하고자 할 경우 더이상 불필요한 중복정보인 학과장 정보가 삽입되야 한다.
**갱신 이상: 컴퓨터과의 학과장이 변경되었다. 하나만 변경하면 모순이 발생하므로 다 찾아서 변경해야 한다.
**삭제 이상: 신사임당이 자퇴해서 삭제하고자 한다. 이 삭제로 인해 기계과 학과장의 정보가 사라져버린다.
*'''2NF를 만족시키는 릴레이션'''

:{| class="wikitable"
!학번
!이름
!소속학과
|-
|1901
|홍길동
|컴퓨터과
|-
|1845
|임꺽정
|전자과
|-
|1706
| 신사임당
|기계과
|-
|1925
|장영실
|컴퓨터과
|}
:{| class="wikitable"
!학과
! 학과장
|-
|컴퓨터과
|김교수
|-
|전자과
|박교수
|-
| 기계과
|천교수
|}
:*이와 같이 릴레이션을 구분하는 것이 바람직하다.

===3NF===

;Third Normal Form
;3NF를 만족하려면 이행적 함수 종속을 제거해야 한다.

*이행적 함수 종속: A→B 이고 B→C 일 때 A→C 인 관계
*3NF를 만족하지 않는 릴레이션
**소속학과는 특정 대학에 속한다. 즉 대학은 소속학과에 종속된다.
**홍길동 → 컴퓨터과이고 컴퓨터과→공대일 때, 홍길동→공대인 관계가 성립한다.

{| class="wikitable"
! 학번
!이름
!소속학과
!대학
|-
|1901
|홍길동
|컴퓨터과
|공대
|-
|1845
| 임꺽정
|전자과
|공대
|-
|1706
|신사임당
|경제
|경상
|-
|1925
|장영실
|경영
|경상
|}

*'''발생할 수 있는 이상(Anomaly)의 예'''
**'''삽입 이상''': 컴퓨터과, 전자과 학생을 추가하고자 할 경우 더이상 불필요한 중복정보인 대학 정보가 삽입되어야 한다.
**'''갱신 이상''': 컴퓨터과의 소속 대학이 'IT대학'으로 변경되었다. 하나만 변경하면 모순이 발생하므로 다 찾아서 변경해야 한다.
**'''삭제 이상''': 홍길동이 자퇴해서 삭제하고자 한다. 이 삭제로 인해 컴퓨터과의 대학 정보가 사라져 버린다.
*3NF를 만족시키는 릴레이션

{| class="wikitable"
!학번
!이름
!소속학과
|-
|1901
|홍길동
|컴퓨터과
|-
|1845
|임꺽정
|전자과
|-
|1706
|신사임당
|경제
|-
|1925
|장영실
|경영
|}
{| class="wikitable"
!소속학과
!대학
|-
|컴퓨터과
|공대
|-
| 전자과
|공대
|-
|경제
|경상
|-
|경영
|경상
|}

===BCNF===

;Boyce and Codd Normal Form
;BCNF를 만족하려면 결정자이면서 후보 키가 아닌 속성을 제거해야 한다.

*BCNF를 만족하지 않는 릴레이션

{| class="wikitable"
|+
! 학번
!과목
!교수
|-
|100
|데이터베이스
|홍길동
|-
|100
|자료구조
|임꺽정
|-
|200
|네트워크
|장영실
|-
|300
|네트워크
|장영실
|}

*제약사항
**한 학생은 동일한 과목에 대해 한 교수에게만 수강 가능
**각 교수는 하나의 과목만 담당
**한 과목은 여러 교수가 담당 가능
*후보 키: (학번, 과목)
*함수적 종속성
**(학번, 과목) → 교수
**교수 → 과목

*'''발생할 수 있는 이상(Anomaly)의 예'''
**'''삽입 이상''': 200 학생이 데이터베이스를 수강하고자 할 경우, 현재 불필요한 홍길동 교수 정보가 한번 더 삽입된다.
**'''갱신 이상''': 장영실 교수의 담당 과목이 알고리즘으로 변경되면, 장영실 교수의 과목을 수강하는 모든 학생들의 튜플도 검색해서 수정해야 한다.
**'''삭제 이상''': 300 학생이 자퇴해서 삭제하고자 한다. 이 삭제로 인해 인공지능 과목을 유관순 교수가 담당하고 있다는 정보가 사라진다.
*BCNF 분해 방법
**함수적 종속성 Z → X가 있으며 Z가 후보 키가 아닌 경우, (R - X)와 ZX로 릴레이션을 분리
**예시. 함수적 종속성 (교수 → 과목)이 있으며, 교수가 후보 키가 아니기 때문에, (학번, 교수), (교수, 과목)으로 분리
*BCNF 분해의 특징
**무손실 조인 분해
**종속성 유지가 불가능할 수 있음(예시의 경우 함수적 종속성 "(학번, 과목) → 교수"를 유지할 수 없음)
*BCNF를 만족시키는 릴레이션
**삽입 이상 해결: 200 학생이 데이터베이스를 수강하기 위해, 홍길동 교수의 정보가 삽입될 필요가 없어진다.
**갱신 이상 해결: 장영실 교수의 담당 과목을 변경하기 위해 다른 튜플들을 검색해서 수정할 필요가 없다.
**삭제 이상 해결: 300 학생이 자퇴하면, 300 학생의 수강 정보만 삭제하면 된다.

{| class="wikitable"
!학번
!교수
|-
|100
|홍길동
|-
|100
|임꺽정
|-
|200
|장영실
|-
|300
|장영실
|}
{| class="wikitable"
!과목
! 교수
|-
|데이터베이스
|홍길동
|-
|자료구조
|임꺽정
|-
|네트워크
|장영실
|}

===4NF===

;Fourth Normal Form
;4NF를 만족하려면 다치 종속성을 제거해야 한다.

*4NF를 만족하지 않는 릴레이션
*'''발생할 수 있는 이상(Anomaly)의 예'''
* 4NF를 만족시키는 릴레이션

===5NF===

;Fifth Normal Form
;5NF를 만족하려면 조인 종속성 제거해야 한다.

*5NF를 만족하지 않는 릴레이션
*'''발생할 수 있는 이상(Anomaly)의 예'''
*5NF를 만족시키는 릴레이션