프레디키트 해석(predicate calculus)으로 질의어를 표현한다.

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

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

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