관계 대수는 원하는 정보와 그 정보를 어떻게 유도하는가를 기술하는 절차적인 방법이다.

관계 해석은 원하는 정보가 무엇이라는 것만 정의하는 비절차적 특성을 지닌다.

관계해석에는 튜플 관계해석(tuple relational calculus)과 도메인 관계해석(domain relational calculus)이 있다.

관계 해석으로 표현한 식은 관계대수로 표현할 수 없다.