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

원하는 정보가 무엇이라는 것만 정의하는 비절차적인 특징을 가지고 있다.

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

관계 해석의 프로젝트 연산자 기호는 그리스 문자 시그마를 사용한다.