[정보처리기사] 데이터베이스 구축 - '관계대수'와 '관계해석' 기호 총정리

1. 관계대수의 개념

• 원하는 데이터를 찾기 위한 절차적 언어

2. 순수 관계 연산자

	기호	설명
SELECT	σ	선택: 조건을 만족하는 튜플(열)을 선택함. 수평적
PROJECT	π	투영: 선택된 속성(행, 컬럼)에 대한 값들로 구성된 새로운 관계를 반환함. 수직적
JOIN	⨝	조인: 두 관계를 결합하여 관련된 정보를 연결함.
DIVISION	÷	분해: 한 관계의 튜플이 다른 관계의 모든 튜플과 관계를 가질 때 해당 튜플을 선택함. A,B 두 테이블에 대해 A DIVISON B는 B 테이블의 조건을 만족하는 튜플들을 테이블 A에서 추출하는 연산.

3. 일반 집합 연산자

	기호	설명
합집합	∪	두 관계의 모든 튜플을 합친 결과를 반환함.
교집합	∩	두 관계의 공통 튜플만을 반환함.
차집합	-	한 관계에 있는 튜플 중 다른 관계에는 없는 튜플을 반환함.
카티전 프로덕트	×	두 관계의 모든 가능한 튜플 조합을 반환함.

4. 관계해석

• 원하는 정보가 무엇이라는 것만 정의하는 비절차적 특성
• 튜플 관계해서고가 도메인 관계해석이 있다.

구분	기호	설명
연산자	∨	OR 연산
	∧	AND 연산
	¬	NOT 연산
정량자	∀	모든 가능한 튜플 "For All"
	∃	어떤 튜플 하나라도 존재