관계대수 및 관계해석

* 관계대수: 관계 대수는 관계형 데이터베이스에서 원하는 정보와 그 정보를 어떻게 유도하는가를 기술하는 절차적 언어이다.

 

└> 순수 관계 연산자

 

- Select: Select의 기호는 σ(그리스 문자 시그마)이며,  릴레이션에서 조건에 맞게 수평으로 또는 행에 해당하는 튜플을 구한다.

- Project: Project의 기호는 π(그리스 문자 파이)이며, 릴레이션에서 조건에 맞게 수직으로 또는 열에 해당하는 튜플을 구한다.

- Join: Join의 기호는 ⋈이며, 공통 속성을 중심으로 2개의 릴레이션을 하나로 합쳐서 새로운 릴레이션을 만든다.

- Division: 기호는 ÷ 이며, 릴레이션 R,S가 있을 때, R⊃S인 경우, S의 속성값을 모두 가진 튜플에서, S의 속성 값을 가진 것만 제외한것 

 

└> 일반 집합 연산자

 

- 합집합(Union): 기호는 ∪ 이며, 두 릴레이션에 존재하는 튜플의 합집합을 구한다. 

- 교집합(Intersection): 기호는 ∩ 이며, 두 릴레이션에 존재하는 튜플의 교집합을 구한다.  

- Difference: 기호는 － 이며, 두 릴레이션의 차집합을 구한다.   

- Cartesian Product: 기호는 × 이며, 두 릴레이션에 존재하는 튜플들의 결합된 정보를 구하는 연산이다.

 

* 관계해석: 관계 데이터 모델의 제안자인 코드(E. F. Codd)가 수학의 Predicate Calculus(술어해석) 기반을 두고 관계 데이터베이스를 위해 제안했다. 관계 해석은 관계 데이터의 연산을 표현하는 방법으로, 원하는 정보르 정의 할때는 계산 수식을 사용하며, 관계 대수와 기능면에서 동등하며 관계 대수로 표현 된 식은 관계 해석으로 표현 할 수 있다. 관계 해석은 질의어로 표현한다.