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