관계형 해석 (튜플 관계형 해석 vs 도메인 관계형 해석)

이 글은 학부 수업을 들으면서 개인적으로 정리한 글입니다. 잘못된 내용이 있다면 댓글로 말씀 부탁드립니다!

 

관계형 해석 (Relational Calculus)

• 원하는 정보가 무엇(What)이라는 것만 정의하는 비절차적인 특성(Non-Procedural)을 가진다.
• 관계형 대수와 관계형 해석은 동등하며, 서로 변환이 가능하다.
• 튜플(Tuple) 관계형 해석, 도메인(Domain) 관계형 해석의 두가지 표현 방법이 있다.

 

튜플 관계형 해석 vs 도메인 관계형 해석

튜플 관계형 해석과 도메인 관계형 해석은 표현 방법의 차이는 있지만 표현 능력은 동등하다.

 

1. 튜플 관계형 해석

튜플 관계형 해석식을 구성하는 요소는 아래와 같다.

 

튜플 변수(또는 범위 변수 t) :

• 튜플 변수의 선언은 R(t) 형식으로 표기한다. 이렇게 선언하면 t가 릴레이션 R의 튜플 변수가 된다.
• 값의 범위는 릴레이션 R의 튜플로 한정된다.

 

한정 애트리뷰트(Qualified Attribute) :

• t.A 또는 t[A]로 표기한다.
• 튜플 변수 t가 가리키는 튜플의 애트리뷰트 A의 값을 한정한다.

 

정형식(WFF, Well Formed Formula) :

원자, 논리 연산자(∧, ∨, $\neg$), 정량자($\forall, \exists$)로 구성된 식을 말한다.

 

구분	구성요소	기호	설명
연산자	OR 연산	∧	또는
	AND 연산	∨	그리고
	NOT 연산	$\neg$	부정
정량자	전칭 정량자	$\forall$	For All
	존재 정령자	$\exists$	There Exists

 

튜플 변수는 자유 변수와 속박 변수로 나누는데, 자유 변수는 정량자로 한정되지 않은 튜플 변수를 말하고, 속박 변수는 정량자로 한정된 튜플 변수를 말한다.

 

예시 : $\exists e(e.학번=s.학번∧e.점수=94)$

⇒ e는 속박 변수, s는 자유 변수

 

튜플 해석식(Tuple Calculus Expression)

형식 : ${t_1.A_1,t_2.A_2,..., t_n.A_n|F(t_1,..., t_n, t_{n+1},..., t_{n+m})}$, ( $t_i$는 튜플 변수, $F()$는 정형식 )

 

막대 | 왼편의 한정 애트리뷰트들은 목표 리스트(target list)로서 막대(|)의 오른편에 기술된 조건을 만족하는 결과로부터 추출 된다.

2. 도메인 관계형 해석

튜플 관계형 해석과 표현 방법의 차이는 있지만 표현 능력은 동등하다.

( 튜플 변수 대신 도메인 변수를 사용하는 것이 다르다. )

 

학생(학번, 성명, 학과, 전화번호)에 대한 도메인 변수는 학생(x학번, x성명, x학과, x전화번호)로 선언된다.

 

도메인 해석식(Domain Calculus Expression)

형식 : ${x_1, x_2, ..., x_n | F(x_1, ..., x_n, x_{n+1}, ... , x_{n+m})}$, ( $x_i$는 도메인 변수, $F()$는 정형식 )

 

막대 | 왼편의 도메인 변수들은 목표 리스트(target list)로서 막대(|)의 오른편에 기술된 조건을 만족하는 결과로부터 추출 된다.