관계해석(relational calculus)은 데이터베이스 질의어의 일종으로, 원하는 결과를 기술하는 비절차적 언어입니다. 

보기 4는 관계해석을 관계 대수처럼 릴레이션 조작을 위한 연산의 집합으로 설명하고 있는데, 이는 옳지 않습니다. 관계 대수는 절차적 언어로, 연산을 통해 데이터를 어떻게 처리할지 명시하는 반면, 관계 해석은 결과가 어떤 조건을 만족해야 하는지를 기술합니다. 관계 해석에는 튜플 관계 해석과 도메인 관계 해석의 두 가지 종류가 있습니다.

해설을 검토중 입니다.