관계대수
- 관계형 데이터베이스에서 원하는 정보와 그 정보를 검색하기 위해서 어떻게 유도하는가를 기술하는 절차적인 언어입니다.
순수 관계 연산자
- Select(σ) : 릴레이션에 존재하는 튜플 중에서 선택 조건을 만족하는 튜플의 부분집합을 구하여 새로운 릴레이션을 만드는 연산입니다.
- Project(π) : 주어진 릴레이션에서 속성 리스트에 제시된 속성 값만을 추출하여 새로운 릴레이션을 만드는 연산입니다.
- Join(⋈) : 공통 속성을 중심으로 두 개의 릴레이션을 하나로 합쳐서 새로운 릴레이션을 만드는 연산입니다.
- Division(÷) : 두 개의 릴레이션 R과 S가 있을 때, R의 속성이 S의 속성값을 모두 가진 튜플에서 S가 가진 속성을 제외한 속성만을 구하는 연산입니다.
- ∀ : '모든 것에 대하여'의 의미를 나타냅니다.
일반 집합 연산자
- 합집합(∪) : 두 릴레이션에 있는 모든 튜플로만 구성된 릴레이션으로 중복된 튜플들은 제거합니다.
- 교집합(∩) : 두 릴레이션에 공통으로 있는 튜플로만 구성된 릴레이션입니다.
- 차집합(—) : 왼쪽 릴레이션에는 있지만 오른쪽 릴레이션에는 없는 튜플로만 구성된 릴레이션입니다.
- 교차곱(Х) : 두 릴레이션의 튜플들의 모든 가능한 조합으로 구성된 릴레이션입니다.
관계해석
- 관계 데이터 모델의 제안자인 코드가 수학의 술어 해석에 기반을 두고 관계 데이터베이스를 위해 제안하였습니다.
- 관계 데이터의 연산을 표현하는 방법으로 원하는 정보를 정의할 때는 계산 수식을 사용합니다.
기호
- ∀ : '모든 것에 대하여'의 의미를 나타냅니다.
- ∃ : '존재한다'의 의미를 나타냅니다.
- ∈ : 왼쪽에 있는 값이 오른쪽에 있는 값에 '속한다'의 의미를 나타냅니다.
- V : '또는'의 의미를 나타냅니다.
- ∧ : '그리고'의 의미를 나타냅니다.
- ㄱ: '아니다'의 부정 의미를 나타냅니다.
정보처리기사 2022년 1회 46번, 49번, 52번 출제