관계 해석과 관계 대수

관계 해석(Relational Calculus)

• 원하는 정보가 무엇인지에 대해 정의하는 비절차적 언어
• SQL문과 같은 질의어를 사용하며 튜플 관계해석, 도메인 관계 해석으로 구분됩니다.
  • 튜플 관계 해석 : 튜플을 기준으로 데이터를 조회합니다.
  • 도메인 관계 해석 : 속성을 기준으로 데이터를 조회합니다.
• 관계 해석과 관계 대수는 RDB 처리하는 기능과 능력에서 동등합니다.
• 논리기호 : OR(∨), AND(∧), NOT(￢)
• 모든 것에 대하여(∀)
• 어느 것 하나라도 존재(∃)

 

관계 대수

• 원하는 정보과 그 정보를 유도하는 방식을 정의하는 절차적 언어입니다.
• 일반 집합 연산자 : 합집합 ∪ , 교집합 ∩ , 차집합 - , 교차곱 ×
• 순수 관계 연산자 : SELECT(σ), PROJECT(π), JOIN(⋈), DIVISION( ÷ )
• 합집합 : 중복없이 합하는 연산
• 교집합 : 동일한 튜플을 추출하는 연산
• 차집합 : 대상 table에서 다른 table과 동일한 부분을 제거하여 추출하는 연산
• 곱칩합 : SQL의 cross join과 같은 의미입니다. 

 

• SELECT(σ) : 수평적 부분 집합을 구하는 연산
  • σ <조건> R   => ex)  σ 가격 >300 (R)
  • 가격이 300 이상인 row만 선택

• PROJECT(π)  : 수직적 부분 집합
  • π  <속성명> R   => ex) π  회원코드, 구매제품 (R)
  • 회원코드와 구매제품 속성만 선택 column

• JOIN(⋈) : 조건에 맞는 튜플(row)을 하나로 합치는 연산입니다.
  • 공통 속성이 한 개 이상 존재해야 합니다.
  • 동일 조인, 자연 조인, 외부 조인, 세타 조인이 있습니다.
  • 동일 조인 : 동일 속성을 기준으로 조인, 동일 속성이 중복됩니다.
  • 자연 조인 : 동일 속성을 기준으로 조인, 중복 속성이 제외됩니다.
  • 외부 조인 : 조건에 맞지 않는 row도 결과에 포함하는 확장 조인(Null 포함)
    • 왼쪽, 오른쪽, 완전 외부조인이 있다.(키가 되는 속성의 기준에 따라 나뉨)
• DIVISION(÷)
  • A table 중 B table의 속성 데이터와 일치하는 튜플을 고른 후, 일치하는 속성을 제거한 릴레이션