원하는 결과를 얻기 위해 처리를 원하는 데이터가 무엇인지만 기술하는 비절차 언어(nonprocedural language).[1]

투플 관계 해석(tuple relational calculus)과 도메인 관계 해석(domain relational calculus)으로 분류됨.

역사 ¶

수학의 predicate calculus에 기반을 두고 관계데이터모델data_model 제안자 Codd가 제안.

Twins ¶

----