관계해석
From CS Wiki
- 수학의 프레디킷 해석(predicate calculus)에 기반을 두고 있다.
- E. F. Codd가 관계 데이터 모델의 제안자인 코드(Codd)가 관계 데이터베이스에 적용할 수 있도록 설계하여 제안하였다.
- 튜플 관계해석과 도메인 관계해석이 있다.
- 릴레이션을 정의하는 방법을 제공한다.
- 기본적으로 관계해석과 관계대수는 관계 데이터베이스를 처리하는 기능과 능력 면에서 동일하다.
관계 해석 기호
- ∃: 존재한다(There exist)
- ∈: t가 r에 속함( t ∈ r )
- ∀: 모든 것에 대하여(for all)
- ∪: 합집합
