관계 해석(Relational Calculus)은 원하는 정보에 대해 "무엇을" 기술하는 비절차적인 언어입니다. 따라서 정보가 "어떻게" 유도되는지는 기술하지 않습니다. 절차적인 특성을 가지는 것은 관계 대수입니다. 관계 해석과 관계 대수는 기능 면에서 동등하다는 점, 수학의 술어 논리에 기반을 둔다는 점은 맞습니다.