(     )은(는) 코드(E.F.Code)가 수학의 Predicate Calculus(술어해석)에 기반을 두고 관계 데이터베이스를 위해 제안했다. (     )은(는) 원하는 정보가 무엇이라는 것만 정의하는 비절차적 특성을 지닌다.
조인연산
관계해석
정규화
트랜잭션
(     )은(는) 코드(E.F.Code)가 수학의 Predicate Calculus(술어해석)에 기반을 두고 관계 데이터베이스를 위해 제안했다. (     )은(는) 원하는 정보가 무엇이라는 것만 정의하는 비절차적 특성을 지닌다.
A. 조인연산
B. 관계해석
C. 정규화
D. 트랜잭션