관계대수 및 관계해석

관계대수의 개요

• 관계대수는 관계형 데이터베이스에서 원하는 정보와 그 정보를 검색하기 위해서 어떻게 유도하는가를 기술하는 절차적인 언어
• 릴레이션을 처리하기 위해 연산자와 연산규칙을 제공하는 언어로 피연산자가 릴레이션이고 결과도 릴레이션이다.
• 질의에 대한 해를 구하기 위해 수행해야 할 연산의 순서를 명시
• 순수 관계 연산자 : Select, Project, Join, Division
• 일반 집합 연산자 : UNION(합집합), INTERSECTION(교집합), DIFFERENCE(차집합), CARTESIAN PRODUCT(교차곱)

---

순수 관계 연산자

순수 관계 연산자란 관계 데이터베이스에 적용할 수 있도록 특별히 개발한 관계 연산자입니다.

 

Select

• 릴레이션에 존재하는 튜플 중 선택 조건을 만족하는 튜플의 부분집합을 구하여 새로운 릴레이션을 만듬
• 릴레이션의 행에 해당하는 튜플을 구하는 것이므로 수평 연산이라고도합니다.
• 연사자의 기호는 그리스 문자 시그마(σ)를 사용합니다.
• 표기 형식 : σ<조건>(R) 단,  R은 릴레이션 이름
  

Project

• 주어진 릴레이션에서 속성 List에 제시된 Attribute만을 추출하는 연산
• 릴레이션의 열에 해당하는 Attribute를 추출하는 것 이므로 수직 연산자라고도 함
• 연산자의 기호는 그리스 문자 파이(𝝅)를 사용
• 표기 형식 : 𝝅<속성리스트>(R) 단,R은 릴레이션 이름

Join

• 공통 속성을 중심으로 두개의 릴레이션을 하나로 합쳐서 새로운 릴레이션을 만드는 연산
• 연산자의 기호는  ⋈를 사용 
• 표기 형식 : R  ⋈키속성r=키속성sS

Division

• X⊃Y인 두 개의 릴레잉션 R(X)와 S(Y)가 있을 때, R의 속성이 S의 속성값을 모두 가진 튜플에서 S가 가진 속성을 제외한 속성만을 구하는 연산
• 연산자의 기호는 ÷를 사용
• 표기 형식 : R[속성r ÷ 속성s]S

---

일반 집합 연산자

일반 집합 연산자는 수학적 집합 이론에서 사용하는 연산자로 릴레이션 연산에도 사용가능합니다.

 

• 일반 집합 연산자 중  합집합, 교집합, 차집합은 합병 조건이 가능해야함
• 합병 조건 : 합병하려는 두 릴레이션 간에 애트리뷰트의 수가 같고 각 애트리뷰트가 취할 수 있는 도메인의 범위가 같아야함

---

관계해석

• 관계 데이터 모델의 제인자인 코드가 수학의 Predicate Calculs(술어 해석)에 기반을 두고 관계 데이터베이스를 위해 제안함
• 관계 데이터의 연산을 표현하는 방법으로 원하는 정보를 정의할 땐 계산 수식을 사용
• 원하는 정보가 무엇이라는 것만 정의하는 비절차적 특징
• 튜플 관계해석과 도메인 관계해석이있음
• 기본적으로 관계해석과 관계대수는 관계 데이터베이스를 처리하는 기능과 능력면에서 동등하며, 관계대수로 표현한 식은 관계해석으로 표현 가능
• 질의어로 표헌