데이터베이스 구축
핵심178
관계해석(Relational Calculus)
출제 빈도
6회
원본 51~52쪽
관계해석은 관계 데이터 모델의 제안자인 코드(E. F. Codd)가 수학의 Predicate Calculus(술어 해석)에 기반을 두고 관계 데이터베이스를 위해 제안했다.
관계해석은 관계 데이터의 연산을 표현하는 방법으로, 원하는 정보를 정의할 때는 계산 수식을 사용한다.
관계해석은 원하는 정보가 무엇이라는 것만 정의하는 비절차적 특성을 지닌다.
튜플 관계해석과 도메인 관계해석이 있다.
기본적으로 관계해석과 관계대수는 관계 데이터베이스를 처리하는 기능과 능력면에서 동등하며, 관계대수로 표현한 식은 관계해석으로 표현할 수 있다.
질의어로 표현한다.
• 주요 논리기호
| 구성 요소 |
|---|
| 전칭 정량자 |
| 존재 전량자 |
원본 추출 이미지(검수용·회차 숫자 원문 포함)
구조화된 본문이 원본과 맞게 들어갔는지 확인하기 위한 이미지입니다. 이미지 안에는 원본 회차 숫자와 다음 절 일부가 포함될 수 있습니다.
