★ 관계대수 / 관계해석

관계대수

 

- '원하는 정보'와 그 정보를 검색하기 위해 '어떻게 유도하는가'를 기술

- 피연산자와 연산 결과 모두 릴레이션

- 절차적

 

순수 관계 연산자			일반 집합 연산자
σ	Select	조건을 만족하는 튜플을 출력	∪	합집합 UNION	두 릴레이션의 튜플 합집합 (중복 제거)
π	Project	조건을 만족하는 속성을 출력	∩	교집합 INTERSECTION	두 릴레이션의 튜플 교집합
⋈	Join	두 릴레이션을 교차곱을 한 다음 Select 공통 속성을 중심으로 릴레이션 합치기	－	차집합 DIFFERENCE	두 릴레이션의 튜플 차집합
÷	Division	두 릴레이션 X⊃Y일 때, Y의 속성값과 겹치는 걸 제외한 속성만 출력 ★	×	교차곱 CARTESIAN PRODUCT	두 릴레이션의 튜플들의 순서쌍을 출력

 

 

 

 

---

관계해석

 

- Relational Calculus

- 관계 데이터의 연산을 표현하는 방법

- 관계 데이터 모델을 제안했던 코드(E. F. Codd)가 제안

- 수학의 Predicate Calculus(술어 해석)에 기반

- 비절차적