관계데이터연산relationship_data_operation의 일종. (관계대수relational_algebra와 함께.)

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

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

//foldoc
술어논리,predicate_logic의 (이론적?) 기반 위에 세워진,
관계대수relational_algebra의 operations와 동등한(equivalent to) 기술적/설명적인 식(descriptive expressions)을 다루는.
두 형태(forms)가 존재한다:

• tuple_calculus -> https://foldoc.org/tuple calculus
  
• domain_calculus -> https://foldoc.org/domain calculus