정리 노트

이 포스트는 아래의 포스트 내용과 이어집니다. 관계 데이터 연산 - 순수 관계 연산자 이 포스트는 아래의 포스트의 내용과 이어집니다. 관계 데이터 연산 - 집합 연산자 이 포스트는 국민대학교 소프트웨어학부 '데이터베이스' 강의를 듣고 요약하는 포스트입니다. 원하시는 정보 study-note-99.tistory.com Semi-join(⋉) R(X), S(Y)의 조인 속성을 X \( \cap \) Y라고 할 때, S와 join 할 수 있는 R의 tuple들의 집합이 semi-join 연산의 결과입니다. 이를 S에서 R로의 semi-join이라 부릅니다. 이를 식으로 적으면 아래와 같습니다. $$ R ⋉ S = R \Join_{N} ( \Pi_{X \cap Y}(S) ) = \Pi_{X}(R \Join_{N..

이 포스트는 아래의 포스트의 내용과 이어집니다. 관계 데이터 연산 - 집합 연산자 이 포스트는 국민대학교 소프트웨어학부 '데이터베이스' 강의를 듣고 요약하는 포스트입니다. 원하시는 정보가 없을 수도 있습니다. 이 점 유의 바랍니다. 오류 지적은 매우 환영합니다! 테이블 study-note-99.tistory.com 순수 관계 연산자 순수 관계 연산자에 대해 설명할 때 아래의 기호들을 사용하겠습니다. R : 릴레이션(테이블), R(X), X = {\( A_1, ... , A_n \)} \( \rightarrow \) R(\( A_1, ... , A_n \)) r : R의 tuple, r \( \in \) R, r = \( a_i \) : r의 속성 \( A_i \)의 값, r.\(A_i\) = r[\(A_..

이 포스트는 국민대학교 소프트웨어학부 '데이터베이스' 강의를 듣고 요약하는 포스트입니다. 원하시는 정보가 없을 수도 있습니다. 이 점 유의 바랍니다. 오류 지적은 매우 환영합니다! 테이블(=relation)에 간에 할 수 있는 연산을 관계 데이터 연산이라고 합니다. SQL 언어는 거의 관계 대수에 기반을 두고 있습니다. 여기서 대수(대수학)는 수학의 한 분야로 수 대신에 문자를 쓰거나, 수학법칙을 간명하게 나타내는 것입니다. 대수학에서는 기본적으로 폐쇄 성질을 가져야 하므로 피연산자와 연산 결과가 모두 같은 타입(여기서는 테이블)이어야 합니다. 집합 연산자 관계 데이터 연산자들을 집합 연산자와 순수 관계 연산자, 확장된 관계 연산자로 나눠집니다. 이 중에서 집합 연산자는 일반적인 집합 연산(교집합, 합집..

이 포스트는 국민대학교 소프트웨어학부 '데이터베이스' 강의를 듣고 요약하는 포스트입니다. 원하시는 정보가 없을 수도 있습니다. 이 점 유의 바랍니다. 오류 지적은 매우 환영합니다! 관계 데이터 모델은 RDB의 논리적 설계 시 이용되는 모델로 아래 3가지를 정의해야 합니다. 관계 데이터 구조 관계 연산 관계 제약 조건 이번 포스트에서는 관계 데이터 구조에 대해 알아보겠습니다. 관계 데이터 구조(= Relation = Table) Relation의 수학적 정의 1. n-tuple의 집합 Table의 한 record로 생각하면 이해하기 쉽습니다. 학번 중간고사 전공 평점 20230001 3.7 20230134 2.5 20230342 3.7 위의 table을 보면, 총 3개의 행이 있습니다. 여기의 각 행을 t..

운영 체제의 scheduling 정책들을 알아보기 전에 프로세스에 대해 다음과 같이 가정합시다. 모든 프로세스가 CPU를 사용하는 시간이 똑같다. 모든 프로세스가 동시에 도착한다. 한 번 시작한 프로세스는 끝날 때까지 CPU를 사용한다. 프로세스는 I/O 요청 등 없이 CPU만 쓴다. 프로세스가 끝날 시간을 알고 있다. 현실에서는 절대 있을 수 없는 가정들이지만 정책들을 살펴보기 위해 일단 이렇게 가정하고 시작합시다. 그리고 2가지의 측정 기준을 정의합니다. Turnaround Time: 반환 시간(끝난 시간 - 도착 시간) Response Time: 응답 시간(스케줄링된 시간 - 도착 시간) 1. FIFO(First In First Out) 가장 기본적이고 쉽게 구현할 수 있는 정책입니다. 정책을 살펴..

이 포스트는 국민대학교 소프트웨어학부 '컴퓨터 네트워크' 강의를 듣고 요약하는 포스트입니다. 원하시는 정보가 없을 수도 있습니다. 이 점 유의 바랍니다. 오류 지적은 매우 환영합니다! 이메일이 보내지는 과정 이메일이 전송되는 과정은 위의 그림과 같습니다. 클라이언트가 메일을 작성하면 먼저 작성자의 메일 서버로 가고 작성자의 메일 서버의 outgoin message queue에서 처리되기를 기다립니다. 프로토콜을 통해 수신자의 메일 서버로 전송되고, 수신자의 메일 서버에서 해당 user의 mail box로 옮겨져서 수신자에게 메일이 전송됩니다. 이러한 과정 안에서 사용되는 대표적인 3가지 프로토콜이 있습니다. 3가지 프로토콜 모두 loss가 일어나면 안 되기 때문에 TCP 프로토콜을 사용합니다. SMTP(..

이 포스트는 국민대학교 소프트웨어학부 '데이터베이스' 강의를 듣고 요약하는 포스트입니다. 원하시는 정보가 없을 수도 있습니다. 이 점 유의 바랍니다. 오류 지적은 매우 환영합니다! 관계 데이터 모델 논리적 설계 단계에서는 관계 데이터 모델(Relational Data Model)을 사용합니다. 관계 데이터 모델은 테이블 형태의 relation을 통해 데이터 간의 관련성을 표현하는 모델입니다. 각 테이블들의 정의를 relation scheme, relation scheme의 집합을 schema라 해서 논리적 설계 단계의 산출물입니다. 이를 통해 DB는 relation scheme에 정의된 형태로 저장된 데이터들의 집합이라 표현할 수 있습니다. ERD에서 relation scheme으로 논리적 설계 단계에서..

이 포스트는 국민대학교 소프트웨어학부 '운영체제' 강의를 듣고 요약하는 포스트입니다. 원하시는 정보가 없을 수도 있습니다. 이 점 유의 바랍니다. 오류 지적은 매우 환영합니다! OS가 CPU 자원을 프로세스에 할당하는 방법으로 타이머를 사용합니다. 타이머도 일종의 장치이므로 CPU에게 interrupt를 걸 수 있고, 똑같이 trap handler로 진입합니다. Trap handler는 현재 진행 중인 프로세스를 중단하고 다른 프로세스로 바꿉니다. 이러한 동작을 context switch라고 합니다. 출처: https://pages.cs.wisc.edu/~remzi/OSTEP/cpu-mechanisms.pdf, 8쪽 A timer device can be programmed to raise an inte..