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

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

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

한정된 튜플 관계해석은 관계 대수의 표현 능력과 동등하다.