086 관계대수 및 관계해서 - 1장 논리 데이터베이스 설계 - 3과목 데이터베이스 구축

1. 관계대수 개요

- 관계형 데이터베이스에서 원하는 정보와 그 정보를 검색하기 위해서 어떻게 유도하는가를 기술하는 절차적 언어

- 관계대수는 릴레이션을 처리하기 위해 연산자와 연산규칙을 제공하는 언어로 피연산자가 릴레이션이고, 결과도 릴레이션

- 질의에 대한 해를 구하기 위해 수행해야 할 연산 순서를 명시한다

- 관계대수에는 관계 데이터베이스에 적용하기 위해 특별히 개발한 순수 관계 연산자와 수학적 집합 이론에서 사용하는 일반 집합 연산자가 있다

- 순수 관계 연산자 : select, project, join, division

- 일반 집합 연산자 : union, intersection(교집합), defference(차집합), cartesian product(교차곱)

 

2. Select

- 릴레이션에 존재하는 튜플 중에서 선택 조건을 만족하는 튜플의 부분집합을 구하여 새로운 릴레이션을 만드는 연산이다

- 릴레이션의 행에 해당하는 튜플을 구하는 것이므로 수평 연산이라고도 한다

- 연산자의 기호는 그리스 문자 시그마를 사용한다

 

3. Project

- 주어진 릴레이션에서 속성 리스트에 제시된 속성 값만을 추출하여 새로운 릴레이션을 만드는 연산이다. 단 연산 결과에 중복이 발생하는 중복이 제거된다.

- 릴레이션의 열에 해당하기 때문에 수직 연산자라고도 한다

- 연산자의 기호는 그리스 문자 파이를 사용한다

 

4. Join

- 공통 속성을 중심으로 두 개의 릴레이션을 하나로 합쳐서 새로운 릴레이션을 만드는 연산이다

- 조인의 결과로 만들어진 릴레이션의 차수는 조인된 두 릴레이션의 차수를 합한 것과 같다

- 조인의 결과는 교차곱을 수행한 다음 select를 수행한 것과 같다

- 연산자 기호는 ▷◁를 사용한다

 

5. Division

- X⊃Y인 두 개의 릴레이션 R(X)와 S(Y)가 있을 때, R 속성이 S 속성값을 모두 가진 튜플에서 S가 가진 속성을 제외한 속성만을 구하는 연산

- 연사자의 기호는 ÷

 

6. 일반 집합 연산자

- 수학적 집합 이론에서 사용하는 연산자로서 릴레이션 연산에도 그대로 적용 가능

- 일반 집합 연산자 중 합집합, 교집합, 차집합을 처리하기 위해서는 합경 조건을 만족해야함

- 합병 가능한 두 릴레이션 R과 S가 있을때 각 연산의 특징을 요약하면 다음과 같다

 

7. 관계해석(Relational Calculus)

- 관계 데이터 모델의 제안자인 코드가 수학의 Predicate Calculus(술어 해석)에 기반을 두고 관계 데이터베이스를 위해 제안했다

- 관계 데이터의 연산을 표현하는 방법으로, 원하는 정보를 정의할 때 계산 수식을 사용한다

- 관계해석은 원하는 정보가 무엇이라는 것만 정의하는 비절차적 특성을 지닌다

- 튜플 관계해석과 도메인 관계해석이 있다

- 질의어로 표현한다