관계 대수 / 관계 해석

관계 대수

• 정의
  - 절차적 언어
  - 원하는 정보를 어떻게 유도하는가를 연산자와 연산규칙을 이용하여 기술
  
  
• 종류
  1. 순수 관계 연산자
  - SELECT (σ / 튜플을 검색)
  - PROJECT (π / 속성을 검색)
  - JOIN (▷◁ / 2개의 릴레이션을 하나로 합침)
  - DIVISION (X ⊃ Y에서 S가 가진 속성을 제외한 R의 속성)
  
  2. 일반 집합 연산자
  - UNION
  - INTERSECTION
  - DIFFERENCE
  - CARTESIAN PRODUCT
  
  
• 특징
  - 릴레이션을 처리하기 위한 연산의 집합으로 피연산자와 결과가 모두 릴레이션

관계 해석

• 정의
  - 비절차적 언어
  - 원하는 정보가 무엇 이라는 것만 정의
  
  
• 종류
  - 튜플 관계 해석
  - 도메인 관계 해석
  - ∀ : for all
  
  
• 특징
  - 수학의 프레디킷 해석에 기반
  - Codd가 수학의 술어 해석에 기반을 두고 관계 데이터 베이스에 적용할 수 있도록 설계하여 제안
  - 릴레이션을 정의하는 방법을 제공

비교

• 관계 데이터베이스를 처리하는 기능과 능력 면에서 동등