원하는 정보와 그 정보를 어떻게 유도하는가를 기술하는 절차적인 언어이다.

기본적으로 관계해석과 관계대수는 관계 데이터베이스를 처리하는 기능과 능력면에서 동등하다.

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

프레디카트 해석(predicate calculus)에 기반을 두고 있다.