Denominada de tipo procedimental, a diferencia del Cálculo relacional que es de tipo declarativo.