합병 가능하지 않은 두 릴레이션을 차수를 확장하여 합집합으로 생성함

SUM, AVG, COUNT, MAX, MIN

Attribute들의 값에 의해서 그룹으로 분할되고, 분할된 각 그룹의 투플들의 집합에 대해서 집단 함수를 적용

수학의 프레디킷 해석에 기반함
predicate : a function whose values is true or false
원하는 데이터만 명시하고 질의를 어떻게 수행할 것인가는 명시하지 않는 선언적인 언어
비절차 언어(nonprocedurral language)
분류
투플 관계 해석(tuple relation calculus)
도메인 관계 해석(domain ralation calculus)