관계해석 정리

반응형
SMALL

관계해석(Relational Calculus)은 관계대수와 함께 관계형 데이터베이스의 기초를 이루는 이론입니다.
하지만 관계대수가 “어떻게 가져올지(절차)”를 정의한다면,
관계해석은 “무엇을 가져올지(조건)”만을 정의하는 비절차적 질의 언어입니다.


1. 관계해석이란?

원하는 데이터의 조건(what)만 기술하고,
처리 방법(how)은 시스템(DBMS)이 결정하는 방식

2. 관계대수 vs 관계해석

구분 관계대수 관계해석
성격 절차적(Procedural) 비절차적(Declarative)
방식 어떻게 가져올지 명시 무엇을 가져올지 명시
기반 연산자 중심 조건식 기반

3. 관계해석의 종류

  • 튜플 관계해석 (TRC): 튜플 중심 표현 방식
  • 도메인 관계해석 (DRC): 속성(도메인) 중심 표현 방식

🧪 튜플 관계해석 (TRC)

형식: { T | 조건(T) }

예시: 이름이 '홍길동'인 고객 튜플

{ T | T ∈ Customer ∧ T.name = '홍길동' }

🧪 도메인 관계해석 (DRC)

형식: { <a1, a2, ...> | 조건 }

예시: 고객 테이블에서 이름이 '홍길동'인 고객의 id와 이름

{ <id, name> | ∃email (Customer(id, name, email) ∧ name = '홍길동') }

✅ 요약 정리

  • TRC는 튜플 기반, DRC는 속성 기반
  • 관계해석은 논리 조건 중심의 질의를 표현
  • SQL의 WHERE 조건 등은 관계해석 개념에 해당
반응형
LIST