개발 뜯기/컴퓨터과학

✔ 관계형 모델의 개념 릴레이션의 특성 데이터베이스 모델링 과정 개념적 데이터 모델링의 결과 논리적 데이터 모데링 단계 1. DBMS에서 사용하는 데이터 모델에 맞추어 데이터를 표현하는 과정 2. 데이터 정의 언어로 기술된 개념 스키마 생성 3. 관계형 모델(relational model) 1969년 에드가 F.코드에 의해 제안 릴레이션으로 데이터를 표현하는 모델 데이터 표현이 단순하고 직관적 구조화 모델 현재 대다수 DBMS의 기초 관계형 모델을 사용하는 관계형 DBMS(RDBMS) Oracle, DB2, PostgreSQL, MySQL, MSSQL 등 릴레이션의 구성 두 개의 메타 데이터를 표현해서 하나의 데이터 값을 데이터화 시키는 과정에 최적화되어 있다. 릴레이션의 특징 레코드의 유일성 : 중복된..

✔ 데이터베이스 모델링의 이해 데이터베이스 모델링의 개념 데이터의 의미를 파악하고 데이터와 관여하는 업무 프로세스를 개념적으로 정의하고 분석하는 작업 모델링 단계(아래 과정) 모델링의 필요 1. 비즈니스적 관점 : 어떤 데이터를 저장해야 하는가? 2. 컴퓨터 프로그래머 관점 : 어떻게 데이터를 저장해야 하는가? 데이터베이스 모델링 단계 내부스키마를 만들어내기 위해 사용자의 요구 사항 분석, 개념적 논리적 물리적 데이터 모델링을 진행한다. 이때, 논리적 데이터 모델링을 통해 만들어진 개념스키마가 전체적인 데이터 구조를 가지고 있다. > 애플리케이션 설계 과정에 반영됨으로써 구체적인 아키텍처가 나오도록 만들 수 있다. 내부스키마 : 어떤 데이터가 어떻게 데이터 베이스 내부에 저장되어야하는지의 결과 1. 개념..

✔ 논리학과 집합론 논리합 p(𝑥) ∨ g(𝑥) = 합집합 A ⋃ B 논리곱 p(𝑥) ∧ g(𝑥) = 교집합 A ⋂ B ✔ 집합과 원소 무정의 용어 정의 없이 사용하는 용어 직관적으로 이해할 수 있으나 다른 용어로 정의하기 힘든 대상을 표현하기 위해 사용 Georg Cantor의 집합 : 우리의 직관이나 사고로부터 한정적이고 분리된 객체들의 전체 M에서의 수집 ✔ 집합의 표기법 S가 하나의 집합이라고 한다. > a를 S의 원소이고, b를 S의 원소가 아니라고 할 때 : a ∈ S, b ∉ S 집합의 표기 방법 S는 중괄호 ( {, } )로 표시함 원소나열법 조건나열법 집합의 크기 : | S | ✔ 부분집합 부분집합(subset) A의 모든 원소가 B의 원소이면 A는 B의 부분집합이라 하고 A ⊆ B 또는..

✔ 정의 공리(axiom) 어떤 다른 명제들을 증명하기 위해 전제로 사용되는 가장 기본적인 가정으로, 별도의 증명 없이 참으로 이용되는 명제 증명(proof) 특정한 공리들을 가정하고, 그 가정하에 제안된 명제가 참임을 입증하는 작업 정리(theorem) 공리로부터 증명된 명제 1) 보조정리(lemma) : 정리를 증명하는 과정 중에 사용되는 증명된 명제 2) 따름정리(corollary) : 정리로부터 쉽게 도출되는 부가적인 명제 ✔ 증명 방법 직접 증명법 직접 증명법(direct proof) 공리와 정의 그리고 정리를 논리적으로 직접 연결하여 증명 다른 말로 연역법(deduction)이라고 함 * 연역법 : 이미 증명된 하나 또는 둘 이상의 명제를 전제로 하여 새로운 명제를 결론으로 이끌어내는 것 명제..

✔ 명제 명제(Proposition) : 참과 거짓을 구별할 수 있는 문장이나 수학적 식 명제의 진리값(truth value) 참(true), T : 명제가 타당한 경우 거짓(False), F : 명제가 타당하지 않은 경우 6은 2의 배수다 : 명제 (진리값이 참) 2, 3, 6은 소수이다 : 거짓 (F) ✔ 논리 연산 합성명제(compund proposition) 하나 이상의 명제와 논리연산자 그리고 괄호로 이루어진 명제 1) 논리합(disjunction; or, ᵛ) 둘 중 하나라도 참이면 진리값은 참이다. 2) 논리곱(conjunction: and, ＾) 둘 중 하나라도 거짓이면 진리값은 거짓이다. 3) 부정(negarion; ~, ㄱ) 1항 연산, not 4) 배타적 논리합(exclusive or..