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

질의에 대한 해를 구하기 위해 수행해야 할 연산의 순서를 명시해야 하는 절차적인 언어이다.

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

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