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

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

원하는 릴레이션을 정의하는 방법을 제공한다.

수학의 predicate calculus 기반을 두고 있다.