수학의 프레디킷 해석에 기반을 두고 있다.

관계 데이터 모델의 제안자인 코드(Codd)가 관계데이터베이스에 적용할 수 있도록 설계하여 제안하였다.

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

원하는 정보와 그 정보를 어떻게 유도하는가를 기술하는 절차적 특성을 가진다.