정답: 4번

관계대수는 관계형 데이터베이스에서 릴레이션을 처리하기 위해 사용하는 연산의 집합으로, 피연산자와 결과가 모두 릴레이션입니다. 이는 원하는 정보를 어떻게 유도할지 절차적으로 기술하는 특징이 있으며, 일반 집합 연산(합집합, 교집합 등)과 순수 관계 연산(선택, 사영 등)을 포함합니다. 그러나 관계대수는 수학의 'Predicate Calculus'가 아닌 '집합론'에 기반을 두고 있습니다. Predicate Calculus는 관계해석에 더 가깝습니다.