정답: 4번

관계대수는 데이터를 처리하기 위해 연산을 사용하는 절차적 언어로, 릴레이션을 입력으로 받아 릴레이션을 출력합니다. 이는 원하는 정보를 추출하기 위해 연산의 순서를 명시해야 하는 절차적 특징을 가지고 있으며, 일반 집합 연산(합집합, 교집합, 차집합 등)과 순수 관계 연산(선택, 투사, 조인, 분할 등)을 포함합니다. 반면, 수학의 Predicate Calculus는 관계 해석에 기반을 두고 있으며, 관계대수와 달리 비절차적 언어인 관계해석에 더 가깝습니다.