관계해석

- 코드가 수학의 Predicate Calculus(술어 해석)에 기반을 두고 관계 데이터베이스를 위해 제안했다.

- 관계해석은 원하는 정보가 무엇이라는 것만 정의하는 비절차적 특성을 지닌다.

- 원하는 정보를 정의할 때는 계산 수식을 사용한다.

- 튜플 관계해석과 도메인 관계해석이 있다.

- 기본적으로 관계해석과 관계대수는 관계 데이터베이스를 처리하는 기능과 능력 면에서 동등하다.

- 질의어로 표현한다.

 

1. 관계 해석 '모든 것에 대하여(for all)'의 의미를 나타내는 것은?

 

답 : ∀

 

정량자(quantifier)

- 전칭 정량자(Universal quantifier)와 존재 정량자(Existenitial quantifier)

 

전칭 정량자

  - ∀ 로 표현하며 "for all"이라고 읽음

  - 전칭 정량자를 사용한 정형식은 모든 가능한 튜플 t에 대해 정형식 F(t)가 참일 때 참이 된다는 뜻.

 

정의 (∀(t)F(t))

 

존재 정량자

  -  ∃로 표현하며 "there exists" 라고 읽음

  - 존재 정량자를 사용한 정형식은 정형식 F(t)를 참으로 만드는 어떤 튜플 t가 하나라도 존재만 한다면 참이 된다는 뜻.

 

정의 (∃(t)F(t))

  - 하드디스크를 주문한 모든 고객의 고객번호를 검색하는 관계 해석 

 

예) {a.고객번호 |a(주문) Λ (∃b)(b(제품) Λ a.제품번호=b.제품번호 Λ b.제품명 = '하드디스크') }

 

U: union of

∈: is element of