15. 데이터 입출력 구현 (관계 대수, 관계 해석)

관계 대수

관계형 데이터베이스에서 원하는 정보를 어떻게 유도하는가를 기술하는 절차적인 언어

일반 집한 연산과 순수 관계 연산으로 구분

 

순수 관계 연산자

셀렉트 : 하나의 릴레이션에서 조건을 만족하는 튜플 변환 (수평 연산)

프로젝트 : 하나의 릴레이션에서 주어진 속성들의 값으로만 구성된 튜플 변환 (수직 연산)

조인 : 두 릴레이션의 공통 속성을 이용하여 하나로 합쳐서 새로운 릴레이션을 만든다.

디비전 : 두 릴레이션 A, B에서 릴레이션 B 조건에 맞는 것들만 릴레이션 A에서 튜플을 꺼내 프로젝션 한다.

 

일반 집합 연산자

합집합 : 두 개의 릴레이션의 합이 추출되고, 중복은 제거됨

교집합 : R 릴레이션과 S 릴레이션의 중복되는 값들만 추출

차집합 : R 릴레이션에서 S 릴레이션에 중복되지 않는 값들만 추출

카티션 프로덕트 : 두 릴레이션의 가능한 모든 튜플들의 집합 (R과 S에 속한 모든 튜플 연결)

 

관계 해석

원하는 정보가 무엇이라는 것만 정의하는 비절차적인 언어

튜플 관계 해석과 도메인 관계 해석으로 구분

 

연산자

OR 연산, AND 연산, NOT 연산이 존재

 

정량자 

전칭 정량자 : 모든 가능한 튜플 (For All)

존재 한정자 : 어떤 튜플 하나라도 존재 (There Exists)