- 릴레이션으로부터 필요한 릴레이션을 만들어내는 연산자의 집합- 원하는 정보와 그 정보를 어떻게 유도하는가를 기술하는 절차적인 방법이다.