릴레이션을 처리하기 위한 연산의 집합으로 피연산자가 릴레이션이고 결과도 릴레이션이다.

원하는 정보와 그 정보를 어떻게 유도하는가를 기술하는 절차적 특징을 가지고 있다.

일반 집합 연산과 순수 관계 연산이 있다.

수학의 Predicate Calculus 에 기반을 두고 있다.