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

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

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

관계해석은 수학의 프레디킷 해석(Predicate Calculus)에 기반을 두고 있다.