관계형 데이터 모델의 구성 요소

구조

• 릴레이션/테이블

연산

관계 대수

관계 :

대수(학) : (수학적 구조들의 일반적인 성질을 연구하는 수학의 분야) 연산자 집합

일반 집합 연산자

연산자	설명
합집합 (UNION,∪)	이항 연산으로 관계성이 있는 두개의 릴레이션을 합집합하여 하나의 릴레이션을 만들어 내는 연산
교집합 (INTERSECT,∩)	이항 연산으로 관계성이 있는 두개의 릴레이션에서 중복되어 있는 내용을 선택하여 새로운 릴레이션을 만들어 내는 연산
차집합 (DIFFERENCE, - )	이항 연산으로 관계성이 있는 두개의 릴레이션이 있을 때 그 중 하나의 릴레이션에서 또 다른 릴레이션의 내용과 겹치는 내용을 제거해서 새로운 릴레이션을 생성하는 연산
카티션 프로덕트 (CARTESIAN PRODUCT, × )	이항 연산으로 두 릴레이션의 현재 투플로 구성 가능한 모든 조합 만듬  결과 릴레이션의 차수 = R의 차수 + S의 차수  결과 릴레이션의 카디널리티 = R의 카디널리티 * S의 카디널리티

순수 집합 연산자

연산자	설명
셀렉션 (SELECT, σ)	단항 연산으로 릴레이션에서 조건에 맞는 레코드를 분리해내는 연산. 하나의 릴레이션에서 수평적 부분집합을 취하는 방법입니다.
프로젝션 (PROJECT, π)	단항 연산으로 릴레이션에서 참조하고자 하는 어트리뷰트를 선택하여 분리해 내는 연산. 하나의 릴레이션에서 수직적 부분집합을 취하는 방법입니다. 결과에서 중복된 투플은 제거됩니다.
조인 (JOIN, ⨝)	두 개 이상의 릴레이션에서 조건에 맞는 튜플이나 어트리뷰트를 조합하여 새로운 릴레이션을 생성하는 연산입니다.

---

관계해석

해석(학) : (대수학에 대해 미적과 적분의 개념을 기초로 함수의 연속성에 관한 성질을 연구. ) 관계대수로 표현한 식을 관계해석으로 표현한다.

구분	구성요소	기호	설명
연산자	OR 연산	V	원자식 간 “또는”이라는 관계로 연결
	AND 연산	∧	원자식 간 “그리고”라는 관계로 연결
	NOT 연산	ㄱ	원자식에 대해 부정
정량자	전칭 정량자 (Universal Quantifier)	∀	모든 가능한 튜플 “For All” # All의 ‘A’를 뒤집은 형태 ★
	존재 정량자(Existential Quantifier)	∃	어떤 튜플 하나라도 존재 “There Exists” # Exists의 ‘E’를 뒤집은 형태 ★

차이

참고

https://inpa.tistory.com/entry/DB-📚-관계-대수-관계-해석-SQL-🕵️-정리#관계대수_vs관계해석

데이터 모델(튜플,릴레이션...), 관계 대수/해석(수업) #2 (tistory.com)