New World

1. 관계형 모델의 개념 논리적 데이터 모델링 단계 - DBMS에서 사용하는 데이터 모델에 맞춰 데이터를 표현하는 과정 - DML로 기술된 개념 스키마 생성 - 관계형 모델 릴레이션으로 데이터를 표현하는 모델 데이터 표현이 단순 & 직관적 구조화 모델 대다수 DBMS의 기초 (관계형 모델을 사용하는 DBMS/RDBMS) 레코드의 유일성 : 중복된 레코드의 존재가 불가능 레코드의 무순서성 : 레코드의 순서는 의미가 없음 컬럼의 무순서성 : 컬럼은 순서 X, 이름과 값의 쌍 컬럼값의 원자성 : 모든 값들은 나눌 수 없는 단 하나의 의미 키(Key) 역할 : 릴레이션의 레코드를 유일하게 식별하는 값 속성 : 유일성, 최소성 종류 수퍼키 : 유일성 만족 후보키 : 유일성, 최소성 만족 기본키 : 레코드의 구분을..

1. 데이터 베이스의 역할 데이터 관리의 필요 - 대량의 데이터를 저장 및 관리하고 필요한 데이터를 신속히 검색할 수 있도록 보조하는 장치 파일 처리 시스템 - DB가 개발되기 전, 데이터 관리 - 업무 별 애플리케이션이 개별 데이터를 데이터 파일에 저장.관리 - 데이터 종속의 문제 :저장된 데이터가 특정 H/W에서 또는 사용자 및 S/W만 사용될 수 있도록 제한(물리/논리) - 데이터 중복의 문제 :일관성, 보안성, 경제성에서 문제 - 무결성 훼손의 문제 :데이터가 가질 수 있는 가능 범위(제약조건), 데이터 무결성의 문제(정확성 보장, 값에 대한) - 동시 접근의 문제점 : 동일 데이터에 다수 사용자의 접근 허용 시 일관성 훼손 2. 데이터베이스의 특징 특징 DBMS의 3단계 구조 용어 1. DB의 ..

1. 오토마타 오토마타 : 자동장치, 스스로 움직이는 기계 ex) 컴퓨터 : 유한상태 오토마타 튜링머신 : 인간 사고과정을 구현하는 오토마타, 컴퓨터의 수학적 모델 형식언어 : 프로그래밍 언어들의 일반적인 특성들을 추상화 형식문법 : 프로그래밍 언어의 생성 규칙을 추상화 2. 유한 오토마타 유한 오토마타 결정적 유한 오토마타 방향 그래프 -> 상태 그래프 -> 상태도 -> 상태전이도 상태 그래프 - 상태 : 원 - 전이 : 그래프 - 입력값과 출력값 : 화살표 위에 표시 비결정적 유한 오토마타 3. 마르코프 연쇄 마르코프 연쇄 : 마르코프 성질을 지닌 이산확률과정 - 유한 오토마타의 특수한 형태 - 시간에 따른 상태의 변화를 확률로 표현 이산확률과정 - 𝑿n : 확률변수 - (𝑿𝟏,𝑿𝟐, … ,𝑿𝒏, …..

1. 나눗셈 a, b가 정수, a가 0이 아닐 때, b=ac 를 만족시키는 정수 c가 있다면 a가 b를 나머지 없이 나눈다 => a는 b의 약수(인수), 배수는 a|b로 표현 최대공약수 : d = gcd(a, b)로 표현, 0이 아닌 두 정수 a,b에 대해 d|a, d|b인 최대의 양의 정수 d를 a와 b의 최대 공약수 gcd(a,b) = 1인 경우, a,b는 서로소 베주의 항등식 : 적어도 하나는 0이 아닌 두 정수 a,b가 gcd(a, b) = d라 할 때, ax + by = d를 만족하는 정수 x, y 존재 - a,b가 서로소 => gcd(a,b) = 1 => ∃𝒙, 𝒚 ∈ 𝒁, 𝒂𝒙 + 𝒃𝒚 = 1 유클리드 호제법(알고리즘) - 2개의 자연수 또는 정식의 최대공약수를 구하는 알고리즘 - 두수가 서..

1. 기본 계수 법칙 두 사건 A, B가 일어날 경우의 수가 각각 N(A) = m, N(B) = n일 때, 곱의 법칙 : A, B가 동시에 일어날 경우의 수는 m x n 합의 법칙 : 𝑨 ∩ 𝑩 = ∅일때, A 또는 B가 일어날 경우의 수는 m + n 합집합의 크기 - 유한집합 |𝑨 ∪ 𝑩| = |𝑨| + |𝑩| − |𝑨 ∩ 𝑩| |𝑨 ∪ 𝑩 ∪ 𝑪| = |𝑨| + |𝑩| + |𝑪| − |𝑨 ∩ 𝑩| − |𝑨 ∩ 𝑪| − |𝑩 ∩ 𝑪| + |𝑨 ∩ 𝑩 ∩ 𝑪| - 유한집합 + 서로소 |𝑨 ∪ 𝑩| = |𝑨| + |𝑩| 2. 순열 순열, 중복순열, 원순열 순열 : 순서를 고려 중복순열 : 중복된 원소를 허용하는 순열 𝟎 ≤ 𝒓 ≤ 𝒏을 만족하는 정수 n, r에 대하여, n개의 원소를 갖는 집합에서 순서를 ..

1. 기본사항 트리 : 사이클이 없는 단순 연결 그래프 Trivial Tree : 꼭지점 하나로 구성된 트리 Empty Tree : 꼭지점이 하나도 없는 트리 Forest : 한 개 이상의 트리로 구성된 트리 루트 트리 : 루트라 부르는 노드가 존재하며 나머지 노드들이 서로 분리된 집합으로 나뉘는 트리 트리 -> 루트 트리 (서브트리, 루트 노드) 트리 노드 용어 자식 노드 : A 기준으로 B, C, D A의 차수 : 자식 노드의 수 레벨 : 루트에서 어떤 노드까지의 경로의 길이 부모 노드 : B(C or D) 기준으로 A B(C or D) 의 차수 : max { B(C or D)의 차수 | 𝑵 ∈ 𝑻 } 형제 노드 : B 기준으로 C, D 높이(깊이) : max { N의 레벨 | 𝑵 ∈ 𝑻 } 리프 노..

1. 기본사항 그래프는 꼭지점과 변으로 구성 병렬변 : 두 꼭지점을 연결하는 변이 복수개 루프 : 동일한 꼭지점을 연결하는 변 고립된 꼭지점 : 어떠한 변도 연결 X 꼭지점 동형 : 꼭지점과 변의 이름을 제외하고는 모두 동일한 그래프 방향 그래프 : 변이 방향을 가지는 그래프 무향 그래프 : 변이 방향이 없는 그래프 단순 그래프 : 루프와 병렬 변을 가지지 않는 무향 그래프 𝑮 = 𝑽, 𝑬 , 𝑯 = (𝑽 ′ , 𝑬′) (1) 𝑽 ′ ⊆ 𝑽, 𝑬 ′ ⊆ 𝑬 ⇒ 𝑯를 𝑮의 부분 그래프(subgraph) (2) 𝑽 ′ = 𝑽, 𝑬 ′ ⊆ 𝑬 ⇒ 𝑯를 𝑮의 신장 부분 그래프 (spanning subgraph) 총 차수 : 인접한 변의 개수 진입차수 : 들어오는 변의 개수 진출차수 : 나가는 변의 개수 path..

1. 기본사항 디지털 논리회로 : 디지털 신호로 입력하여 논리연산을 통해 디지털 신호로 출력 AND 게이트 : 논리곱, F = X· Y OR 게이트 : 논리합, F = X + Y NOT 게이트 : 논리부정, F = X' NAND 게이트 : F = 𝑿' + 𝒀' NOR 게이트 : F = X'· Y' XOR 게이트 : 배타적 논리합, F = 𝑿'𝒀 + 𝑿𝒀' XNOR 게이트 : F = 𝑿'𝒀' + 𝑿𝒀 2. 부울대수 부울식 -부울상수 0,1은 부울식 -부울변수 -𝑿, 𝒀가 부울식인 경우, 𝑿 + 𝒀, 𝑿 ∙ 𝒀, 𝑿', (𝑿) 도 부울식 항등법칙 : 같은 값, 𝑿 + 𝟎 = 𝑿 | 𝑿 ∙ 𝟏 = 𝑿 지배법칙 : 더해지거나 곱해지는 값과 같은 값, 𝑿 + 𝟏 = 𝟏 | 𝑿 ∙ 𝟎 = 𝟎 멱등법칙 : 같은 값을..