원하는 릴레이션을 정의하는 방법을 제공하며 비절차적 언어이다.

릴레이션 조작을 위한 연산의 집합으로 피연산자와 결과가 모두 릴레이션이다.

일반 집합 연산과 순수 관계 연산으로 구분된다.

질의에 대한 해를 구하기 위해 수행해야 할 연산의 순서를 명시한다.