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